The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lukasz Kaiser: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lukasz Kaiser
    Game Quantification on Automatic Structures and Hierarchical Model Checking Games. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:411-425 [Conf]
  2. Lukasz Kaiser
    Confluence of Right Ground Term Rewriting Systems Is Decidable. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:470-489 [Conf]

  3. Cardinality Quantifiers in MLO over Trees. [Citation Graph (, )][DBLP]


  4. New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures. [Citation Graph (, )][DBLP]


  5. Directed Graphs of Entanglement Two. [Citation Graph (, )][DBLP]


  6. Degrees of Lookahead in Regular Infinite Games. [Citation Graph (, )][DBLP]


  7. Synthesis for Structure Rewriting Systems. [Citation Graph (, )][DBLP]


  8. Cardinality and counting quantifiers on omega-automatic structures. [Citation Graph (, )][DBLP]


  9. Model Checking Games for the Quantitative µ-Calculus. [Citation Graph (, )][DBLP]


  10. Cardinality and counting quantifiers on omega-automatic structures [Citation Graph (, )][DBLP]


  11. Model Checking Games for the Quantitative mu-Calculus [Citation Graph (, )][DBLP]


Search in 0.097secs, Finished in 0.098secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002