Emanuel Kieronski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

6EEEmanuel Kieronski, Lidia Tendera: On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. LPAR 2007: 318-332
5EEEmanuel Kieronski: On the complexity of the two-variable guarded fragment with transitive guards. Inf. Comput. 204(11): 1663-1703 (2006)
4EEEmanuel Kieronski: Results on the Guarded Fragment with Equivalence or Transitive Relations. CSL 2005: 309-324
3EEEmanuel Kieronski, Martin Otto: Small Substructures and Decidability Issues for First-Order Logic with Two Variables. LICS 2005: 448-457
2EEEmanuel Kieronski: The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. FoSSaCS 2003: 299-312
1EEEmanuel Kieronski: EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. STACS 2002: 608-619

Coauthor Index

1Martin Otto [3]
2Lidia Tendera [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)