TU Darmstadt / ULB / TUbiblio

linTAP: A Tableau Prover for Linear Logic

Mantel, Heiko ; Otten, Jens
Hrsg.: Murray, Neil V. (1999)
linTAP: A Tableau Prover for Linear Logic.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1999
Herausgeber: Murray, Neil V.
Autor(en): Mantel, Heiko ; Otten, Jens
Art des Eintrags: Bibliographie
Titel: linTAP: A Tableau Prover for Linear Logic
Sprache: Englisch
Publikationsjahr: Juni 1999
Ort: Saratoga Springs, NY, USA
Verlag: Springer
Buchtitel: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99)
Reihe: LNAI 1617
Zusätzliche Informationen:

mantel.ea:lintap--a-tableau-prover-for-linear-logic:1999a

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS)
Hinterlegungsdatum: 09 Apr 2010 14:10
Letzte Änderung: 28 Jan 2019 10:18
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen