Girard's "Fixpoint Theorem"

DSpace Repository


Dateien:

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: Other
Date: 1992-02-19
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
Keywords: Logik , Beweistheorie
Other Keywords: Logikprogrammierung
Logic
Proof Theory
Logic Programming
License: 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
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)