Girard's "Fixpoint Theorem"

DSpace Repositorium (Manakin basiert)


Dateien:

Zitierfähiger Link (URI): http://hdl.handle.net/10900/129453
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294534
http://dx.doi.org/10.15496/publikation-70816
Dokumentart: Verschiedenartige Ressourcen, nicht textgeprägt
Erscheinungsdatum: 1992-02-19
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
Schlagworte: Logik , Beweistheorie
Freie Schlagwörter: Logikprogrammierung
Logic
Proof Theory
Logic Programming
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

Inhaltszusammenfassung:

Auseinandersetzung mit Thesen von Jean-Yves Girard zur beweistheoretischen Semantik der Logikprogrammierung.

Abstract:

Discussion of certain claims by Jean-Yves Girard on the proof-theoretic semantics of logic programming.

Das Dokument erscheint in: