Ján Komara

	1998
4		Ján Komara, Paul J. Voda: Theorems af Péter and Parsons in Computer Programming. CSL 1998: 204-223
3		Já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

1

Paul J. Voda

[1] [2] [3] [4]