Searching for authors named "Alexander Leitsch" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Syntactic Model Building by Calculi
- …Syntactic Model Building by Calculi Alexander Leitsch Institut fur Computersprachen E-185, TU…
- Add To MetaCart
-
Methods of Cut-Elimination
- …), Technische Universitat Wien, Wiedner Hauptstrae 8--10, 1040 Vienna, Austria baaz@(email omitted); Alexander Leitsch…
- Cited by 1 (1 self) – Add To MetaCart
-
Cut-elimination and redundancy-elimination by resolution
- … MATTHIAS BAAZ † AND ALEXANDER LEITSCH ‡ † Institut für Algebra und Computermathematik (118), TU…
- Cited by 10 (5 self) – Add To MetaCart
-
Automated Model-Building for First-Order-Logic with Equality
- ….Dr. Alexander Leitsch Technische Universitat Wien 1 Introduction Although automated model builing is a new…
- Add To MetaCart
-
Decision Procedures and Model Building in Equational Clause Logic
- …-mail: chrisf@(email omitted); ALEXANDER LEITSCH, Technische Universität Wien, Institut für Computersprachen 185…
- Cited by 15 (2 self) – Add To MetaCart
-
Completeness of a First-order Temporal Logic with Time-Gaps
- … Leitsch b , Richard Zach b,c a Institut fur Algebra und Diskrete Mathematik E118.2, Technische…
- Cited by 7 (1 self) – Add To MetaCart
-
Incompleteness of a First-order Gödel Logic and some Temporal Logics of Programs
- … Leitsch b , Richard Zach b a Institut fur Algebra und Diskrete Mathematik E118.2, Technische…
- Cited by 2 (0 self) – Add To MetaCart
-
How to Acknowledge Hypercomputation?
- …How to Acknowledge Hypercomputation? Alexander Leitsch * Günter Schachner Institut für…
- Add To MetaCart
-
Transforming and Analyzing Proofs in the CERES-system ∗
- …Transforming and Analyzing Proofs in the CERES-system ∗ Stefan Hetzl Alexander Leitsch Daniel…
- Add To MetaCart
Showing 1 through 9.
