Ján Komara

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 6

Top Topics

Logic Programming

Function Symbols

Existentially Quantified

Parallel Thinning

Top Venues

Arch. Math. Log.

Publications

Ján Komara
Efficient elimination of Skolem functions in LK h. Arch. Math. Log. 61 (3-4) (2022)
Ján Komara
Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming. CoRR (2022)
Ján Komara
Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions. CoRR (2022)
Ján Komara
Efficient elimination of Skolem functions in first-order logic without equality. CoRR (2019)
Ján Komara, Paul J. Voda
-arithmetic. CoRR (2019)
Paul J. Voda, Ján Komara
On Herbrand Skeletons. CoRR (2019)
Ján Komara
On nested simple recursion. Arch. Math. Log. 50 (5-6) (2011)
Ján Komara, Paul J. Voda
Theorems af Péter and Parsons in Computer Programming. CSL (1998)
Ján Komara, Paul J. Voda
Computer Programming as Mathematics in a Programming Language and Proof System CL. TABLEAUX (1998)
Ján Komara, Paul J. Voda
On Quasitautologies. TABLEAUX (1997)
Ján Komara, Paul J. Voda
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. TABLEAUX (1995)