Paul J. Voda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
5
Active years
1982–2008
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | TAMC | The Structure of Detour Degrees. | Lars Kristiansen, Paul J. Voda |
| 2006 | TAMC | The Trade-Off Theorem and Fragments of Gdel's | Lars Kristiansen, Paul J. Voda |
| 2003 | CSL | The Surprising Power of Restricted Programs and Gdel's Functionals. | Lars Kristiansen, Paul J. Voda |
| 1998 | CSL | Theorems af Pter and Parsons in Computer Programming. | Jn Komara, Paul J. Voda |
| 1998 | TABLEAUX | Computer Programming as Mathematics in a Programming Language and Proof System CL. | Jn Komara, Paul J. Voda |
| 1997 | CSL | A Simple Ordinal Recursive Normalization of Gdel's T. | Paul J. Voda |
| 1997 | TABLEAUX | On Quasitautologies. | Jn Komara, Paul J. Voda |
| 1995 | TABLEAUX | Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. | Jn Komara, Paul J. Voda |
| 1994 | CSL | Subrecursion as a Basis for a Feasible Programming Language. | Paul J. Voda |
| 1988 | ICLP | Types of Trilogy. | Paul J. Voda |
| 1986 | ICLP | Choices in, and Limitations of, Logic Programming. | Paul J. Voda |
| 1982 | POPL | Maple: a Programming Language, Operating System. | Paul J. Voda |