Definability and Transformations for Cost Logics and Automatic Structures
暂无分享,去创建一个
[1] Achim Blumensath,et al. Automatic structures , 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
[2] Mikolaj Bojanczyk. A Bounding Quantifier , 2004, CSL.
[3] Christof Löding,et al. Transforming structures by set interpretations , 2007, Log. Methods Comput. Sci..
[4] C. C. Elgot,et al. Sets recognized by n-tape automata , 1969 .
[5] Thomas Colcombet,et al. Regular Cost Functions, Part I: Logic and Algebra over Words , 2012, Log. Methods Comput. Sci..
[6] Calvin C. Elgot,et al. Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor , 1966, J. Symb. Log..
[7] Denis Kuperberg. Linear Temporal Logic for Regular Cost Functions , 2014, Log. Methods Comput. Sci..
[8] Denis Kuperberg. Description of the thesis : Study of classes of regular cost functions , 2013 .
[9] Christof Löding,et al. Logical theories and compatible operations , 2007, Logic and Automata.
[10] Lukasz Kaiser,et al. Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees , 2010, Fundam. Informaticae.
[11] Christof Löding,et al. Regular Cost Functions over Finite Trees , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
[12] Erich Grädel,et al. Finite Model Theory and Descriptive Complexity , 2007 .
[13] Christof Löding,et al. Modeling and Verification of Infinite Systems with Resources , 2013, Log. Methods Comput. Sci..
[14] Anil Nerode,et al. Automatic Presentations of Structures , 1994, LCC.