Paul J. Voda - RankMe

21 papers A* 1B 8C 2Journal 7Unranked 3

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Extraction of Efficient Programs in IΣ CoRR Ján Komara, Paul J. Voda
2019	J	`jnl`	On Herbrand Skeletons. CoRR Paul J. Voda, Ján Komara
2017	J	`jnl`	First- and Second-Order Models of Recursive Arithmetics. CoRR Ján Kluka, Paul J. Voda
2008	C	`conf`	The Structure of Detour Degrees. TAMC Lars Kristiansen, Paul J. Voda
2006	C	`conf`	The Trade-Off Theorem and Fragments of Gödel's TAMC Lars Kristiansen, Paul J. Voda
2005	J	`jnl`	Programming Languages Capturing Complexity Classes. Nord. J. Comput. Lars Kristiansen, Paul J. Voda
2003	J	`jnl`	Complexity classes and fragments of C. Inf. Process. Lett. Lars Kristiansen, Paul J. Voda
2003	B	`conf`	The Surprising Power of Restricted Programs and Gödel's Functionals. CSL Lars Kristiansen, Paul J. Voda
1998	B	`conf`	Computer Programming as Mathematics in a Programming Language and Proof System CL. TABLEAUX Ján Komara, Paul J. Voda
1998	B	`conf`	Theorems af Péter and Parsons in Computer Programming. CSL Ján Komara, Paul J. Voda
1997	B	`conf`	A Simple Ordinal Recursive Normalization of Gödel's T. CSL Paul J. Voda
1997	B	`conf`	On Quasitautologies. TABLEAUX Ján Komara, Paul J. Voda
1995	B	`conf`	Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. TABLEAUX Ján Komara, Paul J. Voda
1994	B	`conf`	Subrecursion as a Basis for a Feasible Programming Language. CSL Paul J. Voda
1988	—	`conf`	The Logical Reconstruction of Cuts as One Solution Operators. META Paul J. Voda
1988	—	`conf`	Types of Trilogy. ICLP/SLP Paul J. Voda
1986	B	`conf`	Choices in, and Limitations of, Logic Programming. ICLP Paul J. Voda
1986	J	`jnl`	Computation of Full Logic Programs Using One-Variable Environments. New Gener. Comput. Paul J. Voda
1985	J	`jnl`	A View of Programming Languages as Symbiosis of Meaning and Computations. New Gener. Comput. Paul J. Voda
1984	—	`conf`	RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency. FGCS Paul J. Voda, Benjamin Yu
1982	A*	`conf`	Maple: a Programming Language, Operating System. POPL Paul J. Voda