Ján Komara

11 papers B 4Journal 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions.
CoRR
Ján Komara
2022 J jnl
Efficient elimination of Skolem functions in LK h.
Arch. Math. Log.
Ján Komara
2022 J jnl
Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming.
CoRR
Ján Komara
2019 J jnl
Efficient elimination of Skolem functions in first-order logic without equality.
CoRR
Ján Komara
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
2011 J jnl
On nested simple recursion.
Arch. Math. Log.
Ján Komara
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
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