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...

Formal aspects of computing, 2006-06, Vol.18 (2), p.143-151
2006
Volltextzugriff (PDF)


Open Access
A tactic calculus : Abridged version
Formal aspects of computing, 1996-07, Vol.8 (4), p.479-489
1996
Volltextzugriff (PDF)


IBM journal of research and development, 1987-09, Vol.31 (5), p.535-545
1987
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.302-322
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.122-138
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.269-290
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.45-66
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.291-301
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.191-207
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.344-367
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.233-249
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.208-232
2005
Volltextzugriff (PDF)

Properties of Z specifications
Software engineering notes, 1989-07, Vol.14 (5), p.43-54
1989
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.163-190
2005
Volltextzugriff (PDF)

Calculating a path algorithm
Mathematics of Program Construction, 2005, p.32-44
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.100-121
2005
Volltextzugriff (PDF)

Computer journal, 1992, Vol.35 (5), p.441-450
1992
Volltextzugriff (PDF)

Formalisms
Software engineering notes, 1988-01, Vol.13 (1), p.30-32
1988
Volltextzugriff (PDF)

Open Access
Shorter paths to graph algorithms
Mathematics of Program Construction, 2005, p.250-268
2005
Volltextzugriff (PDF)

On the economy of doing Mathematics
Mathematics of Program Construction, 2005, p.2-10
2005
Volltextzugriff (PDF)

Mathematics of Program Construction, 2005, p.368-374
2005
Volltextzugriff (PDF)

A time-interval calculus
Mathematics of Program Construction, 2005, p.67-79
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt