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
The Theory of Contexts for First Order and Higher Order Abstract Syntax
Electronic notes in theoretical computer science, 2002-06, Vol.62, p.116-135
2002
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Framework for Defining Logical Frameworks
Electronic notes in theoretical computer science, 2007-04, Vol.172, p.399-436
2007
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Some Properties and Some Problems on Set Functors
Electronic notes in theoretical computer science, 2006-10, Vol.164 (1), p.67-84
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Functors Determined by Values on Objects
Electronic notes in theoretical computer science, 2006-05, Vol.158, p.151-169
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Language for Verification and Manipulation of Web Documents
Electronic notes in theoretical computer science, 2006-05, Vol.157 (2), p.67-78
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Generalized Coiteration Schemata
Electronic notes in theoretical computer science, 2003-07, Vol.82 (1), p.76-93
2003
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Coalgebraic Description of Generalized Binary Methods
Electronic notes in theoretical computer science, 2006-03, Vol.135 (3), p.73-84
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
Electronic notes in theoretical computer science, 2000, Vol.33, p.132-159
2000
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Properties of Set Functors
Electronic notes in theoretical computer science, 2004-11, Vol.104, p.61-80
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Preface
Electronic notes in theoretical computer science, 2004-11, Vol.104, p.1-3
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language
Electronic notes in theoretical computer science, 2004-11, Vol.104, p.163-180
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Generalized Coiteration Schemata1 1Research supported by the MIUR Project COFIN 2001013518 Cometa
Electronic notes in theoretical computer science, 2003-07, Vol.82 (1), p.76-93
2003
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modeling Fresh Names in the π-calculus Using Abstractions
Electronic notes in theoretical computer science, 2004-12, Vol.106, p.25-41
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
Electronic notes in theoretical computer science, 2002-06, Vol.62, p.136-156
2002
Volltextzugriff (PDF)
1 – 14 von 14
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieElectronic Notes In Theoretical Computer Science
Suchergebnisse filtern
Filter anzeigen