TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Deutsch | Englisch
Anzahl der Einträge: 4.

Deutsch

Hähnle, Reiner ; Beckert, Bernhard
Hrsg.: Murray, Neil V. (1999)
Proof Confluent Tabelau Calculi (Tutorial).
Konferenzveröffentlichung, Bibliographie

Ramesh, Anavai ; Beckert, Bernhard ; Hähnle, Reiner ; Murray, Neil V. (1997)
Fast Subsumption Checks Using Anti-Links.
In: Journal of Automated Reasoning, 18 (1)
Artikel, Bibliographie

Ramesh, Anavai ; Murray, Neil V. ; Beckert, Bernhard ; Hähnle, Reiner (1995)
Fast Subsumption Checks Using Anti-Links.
Report, Bibliographie

Englisch

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

Diese Liste wurde am Tue Nov 19 03:17:21 2024 CET generiert.