Girard's "Fixpoint Theorem"

DSpace Repository

Show simple item record

dc.contributor.author Hallnäs, Lars
dc.contributor.author Schroeder-Heister, Peter
dc.date.accessioned 2022-07-14T09:06:54Z
dc.date.available 2022-07-14T09:06:54Z
dc.date.issued 1992-02-19
dc.identifier.uri http://hdl.handle.net/10900/129453
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294534 de_DE
dc.identifier.uri http://dx.doi.org/10.15496/publikation-70816
dc.description.abstract Auseinandersetzung mit Thesen von Jean-Yves Girard zur beweistheoretischen Semantik der Logikprogrammierung. de_DE
dc.description.abstract Discussion of certain claims by Jean-Yves Girard on the proof-theoretic semantics of logic programming. en
dc.language.iso en de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podok de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en en
dc.subject.classification Logik , Beweistheorie de_DE
dc.subject.ddc 004 de_DE
dc.subject.other Logikprogrammierung de_DE
dc.subject.other Logic en
dc.subject.other Proof Theory en
dc.subject.other Logic Programming en
dc.title Girard's "Fixpoint Theorem" en
dc.type Other de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
utue.publikation.noppn yes de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record