Search the dblp DataBase

Publications of Author

1. Emanuel Kieronski
   Results on the Guarded Fragment with Equivalence or Transitive Relations. [Citation Graph (0, 0)][DBLP]
   CSL, 2005, pp:309-324 [Conf]
   
2. Emanuel Kieronski
   The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2003, pp:299-312 [Conf]
   
3. Emanuel Kieronski, Martin Otto
   Small Substructures and Decidability Issues for First-Order Logic with Two Variables. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:448-457 [Conf]
   
4. Emanuel Kieronski
   EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. [Citation Graph (0, 0)][DBLP]
   STACS, 2002, pp:608-619 [Conf]
   
5. Emanuel Kieronski
   On the complexity of the two-variable guarded fragment with transitive guards. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:11, pp:1663-1703 [Journal]
   
6. Emanuel Kieronski, Lidia Tendera
   On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. [Citation Graph (0, 0)][DBLP]
   LPAR, 2007, pp:318-332 [Conf]
   
7. 
   B and D Are Enough to Make the Halpern-Shoham Logic Undecidable. [Citation Graph (, )][DBLP]
   
   
8. 
   On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. [Citation Graph (, )][DBLP]