Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Emanuel Kieronski" ( http://dblp.L3S.de/Authors/Emanuel_Kieronski )

  Author page on DBLP  Author page in RDF  Community of Emanuel Kieronski in ASPL-2

Publication years (Num. hits)
2002-2011 (10)
Publication types (Num. hits)
article(1) inproceedings(9)
Venues (Conferences, Journals, ...)
CSL(2) LICS(2) FoSSaCS(1) FSTTCS(1) ICALP(1) Inf. Comput.(1) LPAR(1) STACS(1)
Authors
Emanuel Kieronski(10) Jakub Michaliszyn(2) Lidia Tendera(2) Jan Otop(1) Jerzy Marcinkowski(1) Martin Otto(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Emanuel Kieronski Decidability Issues for Two-Variable Logics with Several Linear Orders. Search on Bibsonomy CSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski, Jakub Michaliszyn, Jan Otop Modal Logics Definable by Universal Three-Variable Formulas. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieronski B and D Are Enough to Make the Halpern-Shoham Logic Undecidable. Search on Bibsonomy ICALP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski, Lidia Tendera On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski, Lidia Tendera On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski On the complexity of the two-variable guarded fragment with transitive guards. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski, Martin Otto Small Substructures and Decidability Issues for First-Order Logic with Two Variables. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski Results on the Guarded Fragment with Equivalence or Transitive Relations. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.