Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Ján Komara

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aml/Komara11
- ask others
Ján Komara: On nested simple recursion. Arch. Math. Log. 50(5-6): 617-624 (2011)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/KomaraV98
- ask others
Ján Komara, Paul J. Voda: Theorems af Péter and Parsons in Computer Programming. CSL 1998: 204-223
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tableaux/KomaraV98
- ask others
Ján Komara, Paul J. Voda: Computer Programming as Mathematics in a Programming Language and Proof System CL. TABLEAUX 1998: 42-43
1997
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tableaux/KomaraV97
- ask others
Ján Komara, Paul J. Voda: On Quasitautologies. TABLEAUX 1997: 231-245
1995
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tableaux/KomaraV95
- ask others
Ján Komara, Paul J. Voda: Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. TABLEAUX 1995: 231-246

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?