Oliver Bittel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1992

2 Oliver Bittel: Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. JELIA 1992: 262-278

1 Oliver Bittel: The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). TABLEAUX 1992: 15-18

	1992
2		Oliver Bittel: Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. JELIA 1992: 262-278
1		Oliver Bittel: The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). TABLEAUX 1992: 15-18