dblp.uni-trier.dewww.uni-trier.de

Ján Komara

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
4 Ján Komara, Paul J. Voda: Theorems af Péter and Parsons in Computer Programming. CSL 1998: 204-223
3EEJán Komara, Paul J. Voda: Computer Programming as Mathematics in a Programming Language and Proof System CL. TABLEAUX 1998: 42-43
1997
2 Ján Komara, Paul J. Voda: On Quasitautologies. TABLEAUX 1997: 231-245
1995
1 Ján Komara, Paul J. Voda: Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. TABLEAUX 1995: 231-246

Coauthor Index

1Paul J. Voda [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)