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...
Sortiert nach
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...
Open Access
    Datensatz exportieren als...
  • BibTeX
Plugging-in proof development environments using Locks in LF
Mathematical structures in computer science, 2018-10, Vol.28 (9), p.1578-1605
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Coalgebraic description of generalised binary methods
Mathematical structures in computer science, 2007-08, Vol.17 (4), p.647-673
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Coinductive characterizations of applicative structures
Mathematical structures in computer science, 1999-08, Vol.9 (4), p.403-435
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An axiomatization of partial n-place operations
Mathematical structures in computer science, 1997-06, Vol.7 (3), p.283-302
1997
Volltextzugriff (PDF)
1 – 4 von 4
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieMathematical Structures In Computer Science
Suchergebnisse filtern
Filter anzeigen