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...
Graphical models of separation logic
Information processing letters, 2009-08, Vol.109 (17), p.1001-1004
2009
Volltextzugriff (PDF)

A calculus of durations
Information processing letters, 1991-12, Vol.40 (5), p.269-276
1991
Volltextzugriff (PDF)

Open Access
From algebra to operational semantics
Information processing letters, 1993-02, Vol.45 (2), p.75-80
1993
Volltextzugriff (PDF)

The weakest prespecification
Information processing letters, 1987-01, Vol.24 (2), p.127-132
1987
Volltextzugriff (PDF)

Prespecification in data refinement
Information processing letters, 1987-05, Vol.25 (2), p.71-76
1987
Volltextzugriff (PDF)

Fixed points of increasing functions
Information processing letters, 1990-04, Vol.34 (3), p.111-112
1990
Volltextzugriff (PDF)

Information sciences, 1999-10, Vol.119 (3), p.205-218
1999
Volltextzugriff (PDF)

Sequential calculus
Information processing letters, 1995-02, Vol.53 (3), p.123-130
1995
Volltextzugriff (PDF)

Open Access
The laws of OCCAM programming
Theoretical computer science, 1988-01, Vol.60 (2), p.177-229
1988
Volltextzugriff (PDF)

Information processing letters, 1995, Vol.53 (3), p.123-130
1995
Volltextzugriff (PDF)

Theoretical computer science, 1991-11, Vol.90 (1), p.235-251
1991
Volltextzugriff (PDF)

Computer physics communications, 1989-12, Vol.57 (1), p.206-210
1989
Volltextzugriff (PDF)

Theoretical computer science, 1983-01, Vol.26 (1), p.105-120
1983
Volltextzugriff (PDF)












Aktive Filter
KollektionElsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)