Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...



Abstract Dynamic Frames
Relational and Algebraic Methods in Computer Science, p.157-172
Link zum Volltext

Electronic proceedings in theoretical computer science, 2022, Vol.355, p.13-26
2022
Link zum Volltext





Relational and Algebraic Methods in Computer Science, p.3-23
Link zum Volltext

Open Access
An algebra of hybrid systems
The journal of logic and algebraic programming, 2009-01, Vol.78 (2), p.74-97
2009
Link zum Volltext

Open Access
An algebra of product families
Software and systems modeling, 2011-05, Vol.10 (2), p.161-182
2011
Link zum Volltext


Relational and Algebraic Methods in Computer Science, p.109-126
Link zum Volltext

Open Access
Algebraic Neighbourhood Logic
The journal of logic and algebraic programming, 2008-05, Vol.76 (1), p.35-59
2008
Link zum Volltext

The journal of logic and algebraic programming, 2010-11, Vol.79 (8), p.794-811
2010
Link zum Volltext

Open Access
Algebraic Structure of Web Services
Electronic notes in theoretical computer science, 2008-05, Vol.200 (3), p.171-187
2008
Link zum Volltext

Open Access
Algebraic View Reconciliation
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008, p.85-94
2008




The Astrophysical journal, 1999-04, Vol.514 (2), p.899-908
1999
Link zum Volltext


Electronic proceedings in theoretical computer science, 2017-08, Vol.255 (Proc. EXPRESS/SOS 2017), p.18-34
2017
Link zum Volltext

The Astrophysical journal. Supplement series, 2002-01, Vol.138 (1), p.63-74
2002
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n