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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Electronic proceedings in theoretical computer science, 2019, Vol.310 (Proc. F-IDE 2019), p.29-34
2019
Volltextzugriff (PDF)



Lecture notes in computer science, 2004, Vol.2960
1, 2004
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.106-120
2010
Volltextzugriff (PDF)

Formal aspects of computing, 2011-03, Vol.23 (2), p.221-238
2011
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-06, Vol.212 (Proc. WoC 2015), p.63-80
2016
Volltextzugriff (PDF)


Open Access
CoFI with Don Sannella
Theoretical computer science, 2018-09, Vol.741, p.44-47
2018
Volltextzugriff (PDF)

Journal of computer languages (Online), 2019-02, Vol.50, p.39-48
2019
Volltextzugriff (PDF)


Modular Language Descriptions
Generative Programming and Component Engineering, 2004, p.489-490
2004
Volltextzugriff (PDF)

Science of computer programming, 2015-01, Vol.97, p.2-10
2015
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation, p.296-321
Volltextzugriff (PDF)

The journal of logic and algebraic programming, 2004-07, Vol.60-61, p.195-228
2004
Volltextzugriff (PDF)

Open Access
Executable component-based semantics
Journal of logical and algebraic methods in programming, 2019-02, Vol.103, p.184-212
2019
Volltextzugriff (PDF)

Rewriting Logic and Its Applications, 2014, Vol.8663, p.213-229
2014
Volltextzugriff (PDF)

Pragmatics of Modular SOS
Algebraic Methodology and Software Technology, 2002, p.21-40
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2003, p.262-277
2003
Volltextzugriff (PDF)

BRICS Report Series, 2015-02, Vol.12 (7)
2015
Volltextzugriff (PDF)

Open Access
Flag-based big-step semantics
Journal of logical and algebraic methods in programming, 2017-04, Vol.88, p.174-190
2017
Volltextzugriff (PDF)

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023, p.220-225
2023
Volltextzugriff (PDF)

Open Access
PII: S0304-3975(06)00901-7
Theoretical computer science, 2007, Vol.373 (3), p.161-162
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n