| 2008 |
|---|
| 18 | EE | Lars Kristiansen,
Paul J. Voda:
The Structure of Detour Degrees.
TAMC 2008: 148-159 |
| 2006 |
|---|
| 17 | EE | Lars Kristiansen,
Paul J. Voda:
The Trade-Off Theorem and Fragments of Gödel's T.
TAMC 2006: 654-674 |
| 2005 |
|---|
| 16 | | Lars Kristiansen,
Paul J. Voda:
Programming Languages Capturing Complexity Classes.
Nord. J. Comput. 12(2): 89-115 (2005) |
| 2003 |
|---|
| 15 | EE | Lars Kristiansen,
Paul J. Voda:
The Surprising Power of Restricted Programs and Gödel's Functionals.
CSL 2003: 345-358 |
| 14 | EE | Lars Kristiansen,
Paul J. Voda:
Complexity classes and fragments of C.
Inf. Process. Lett. 88(5): 213-218 (2003) |
| 1998 |
|---|
| 13 | | Ján Komara,
Paul J. Voda:
Theorems af Péter and Parsons in Computer Programming.
CSL 1998: 204-223 |
| 12 | EE | Ján Komara,
Paul J. Voda:
Computer Programming as Mathematics in a Programming Language and Proof System CL.
TABLEAUX 1998: 42-43 |
| 1997 |
|---|
| 11 | | Paul J. Voda:
A Simple Ordinal Recursive Normalization of Gödel's T.
CSL 1997: 491-509 |
| 10 | | Ján Komara,
Paul J. Voda:
On Quasitautologies.
TABLEAUX 1997: 231-245 |
| 1995 |
|---|
| 9 | | Ján Komara,
Paul J. Voda:
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux.
TABLEAUX 1995: 231-246 |
| 1994 |
|---|
| 8 | | Paul J. Voda:
Subrecursion as a Basis for a Feasible Programming Language.
CSL 1994: 324-338 |
| 1988 |
|---|
| 7 | | Paul J. Voda:
Types of Trilogy.
ICLP/SLP 1988: 580-589 |
| 6 | | Paul J. Voda:
The Logical Reconstruction of Cuts as One Solution Operators.
META 1988: 523-530 |
| 1986 |
|---|
| 5 | | Paul J. Voda:
Choices in, and Limitations of, Logic Programming.
ICLP 1986: 615-623 |
| 4 | | Paul J. Voda:
Computation of Full Logic Programs Using One-Variable Environments.
New Generation Comput. 4(2): 153-187 (1986) |
| 1985 |
|---|
| 3 | | Paul J. Voda:
A View of Programming Languages as Symbiosis of Meaning and Computations.
New Generation Comput. 3(1): 71-100 (1985) |
| 1984 |
|---|
| 2 | | Paul J. Voda,
Benjamin Yu:
RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency.
FGCS 1984: 341-347 |
| 1982 |
|---|
| 1 | | Paul J. Voda:
Maple: a Programming Language, Operating System.
POPL 1982: 157-168 |
