We stand with Ukraine  

Ján Komara

Orcid: 0000-0002-4521-4876

According to our database1, Ján Komara authored at least 11 papers between 1995 and 2022.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming.
[BibTeX]
[DOI]
Ján Komara
CoRR, 2022

Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions.
[BibTeX]
[DOI]
Ján Komara
CoRR, 2022

Efficient elimination of Skolem functions in LK h.
[BibTeX]
[DOI]
Ján Komara
Arch. Math. Log., 2022

2019
Extraction of Efficient Programs in IΣ<sub>1</sub>-arithmetic.
[BibTeX]
[DOI]
Ján Komara
,
Paul J. Voda
CoRR, 2019

On Herbrand Skeletons.
[BibTeX]
[DOI]
Paul J. Voda
,
Ján Komara
CoRR, 2019

Efficient elimination of Skolem functions in first-order logic without equality.
[BibTeX]
[DOI]
Ján Komara
CoRR, 2019

2011
On nested simple recursion.
[BibTeX]
[DOI]
Ján Komara
Arch. Math. Log., 2011

1998
Computer Programming as Mathematics in a Programming Language and Proof System CL.
[BibTeX]
[DOI]
Ján Komara
,
Paul J. Voda
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Theorems af Péter and Parsons in Computer Programming.
[BibTeX]
[DOI]
Ján Komara
,
Paul J. Voda
Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1997
On Quasitautologies.
[BibTeX]
[DOI]
Ján Komara
,
Paul J. Voda
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1995
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux.
[BibTeX]
[DOI]
Ján Komara
,
Paul J. Voda
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995


  Loading...