Searching for authors named "Matthias Baaz" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
Note on Generalizing Theorems in Algebraically Closed Fields
- … on Generalizing Theorems in Algebraically Closed Fields Matthias Baaz and Richard Zach Institut fur Algebra und…
- Add To MetaCart
-
Approximating Propositional Calculi by Finite-valued Logics
- …Approximating Propositional Calculi by Finite-valued Logics Matthias Baaz Richard Zach Technische…
- Cited by 3 (2 self) – Add To MetaCart
-
Short Proofs of Tautologies Using the Schema of Equivalence
- …Short Proofs of Tautologies Using the Schema of Equivalence ? Matthias Baaz ?? Richard Zach…
- Cited by 2 (0 self) – Add To MetaCart
-
Methods of Cut-Elimination
- …Methods of Cut-Elimination Matthias Baaz Institut fur Algebra und Diskrete Mathematik (118…
- Cited by 1 (1 self) – Add To MetaCart
-
Algorithmic Structuring of Cut-free Proofs
- …Algorithmic Structuring of Cut-free Proofs ? Matthias Baaz ?? Richard Zach ??? Technische…
- Cited by 1 (1 self) – Add To MetaCart
-
Generalizing Theorems in Real Closed Fields
- …Generalizing Theorems in Real Closed Fields ? Matthias Baaz a;1 , Richard Zach b;2 a Institut…
- Cited by 4 (3 self) – Add To MetaCart
-
A Schütte-Tait style cut-elimination proof for firstorder Gödel logic
- …A Schütte-Tait style cut-elimination proof for first-order Gödel logic Matthias Baaz and Agata…
- Cited by 7 (5 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 9 (5 self) – Add To MetaCart
-
Completeness of a First-order Temporal Logic with Time-Gaps
- …Completeness of a First-order Temporal Logic with Time-Gaps ? Matthias Baaz a,?? , Alexander…
- Cited by 7 (1 self) – Add To MetaCart
-
Embedding Logics Into Product Logic
- …1 Embedding logics into product logic Matthias Baaz Petr H'ajek Jan Kraj'icek y David Svejda…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
