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
    Datensatz exportieren als...
  • BibTeX
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
Computer Science Logic, 2002, p.167-182
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Forum as a Logic Programming Language: Preliminary Report
Electronic notes in theoretical computer science, 1996, Vol.3, p.196-207
1996
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Isolating Resource Consumption in Linear Logic Proof Search: Extended abstract
Electronic notes in theoretical computer science, 2002-12, Vol.70 (2), p.1-10
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Isolating Resource Consumption in Linear Logic Proof Search
Electronic notes in theoretical computer science, 2002-12, Vol.70 (2), p.1-10
2002
Link zum Volltext
Verfügbarkeit prüfen
1 – 4 von 4
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen