Paul J. Voda

CoRR, 2019

On Herbrand Skeletons.

[BibT_eX]

[DOI]

CoRR, 2019

2017

First- and Second-Order Models of Recursive Arithmetics.

[BibT_eX]

[DOI]

Ján Kluka

CoRR, 2017

2008

The Structure of Detour Degrees.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2008

2006

The Trade-Off Theorem and Fragments of Gödel's <i>T</i>.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2006

2005

Programming Languages Capturing Complexity Classes.

[BibT_eX]

Nord. J. Comput., 2005

2003

Complexity classes and fragments of C.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

The Surprising Power of Restricted Programs and Gödel's Functionals.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

1998

Computer Programming as Mathematics in a Programming Language and Proof System CL.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Theorems af Péter and Parsons in Computer Programming.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1997

On Quasitautologies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

A Simple Ordinal Recursive Normalization of Gödel's T.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1995

Syntactic Reduction of Predicate Tableaux to Propositional Tableaux.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

Subrecursion as a Basis for a Feasible Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1988

The Logical Reconstruction of Cuts as One Solution Operators.

[BibT_eX]

Proceedings of the Meta-Programming in Logic Programming, 1988

Types of Trilogy.

[BibT_eX]

Proceedings of the Logic Programming, 1988

1986

Computation of Full Logic Programs Using One-Variable Environments.

[BibT_eX]

[DOI]

New Gener. Comput., 1986

Choices in, and Limitations of, Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Logic Programming, 1986

1985

A View of Programming Languages as Symbiosis of Meaning and Computations.

[BibT_eX]

[DOI]

New Gener. Comput., 1985

1984

RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency.

[BibT_eX]

Benjamin Yu

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1982

Maple: a Programming Language, Operating System.

[BibT_eX]

[DOI]