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