Symposium on Logic in Computer Science

#	Item
41	c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e Platzer Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-06-17 15:56:34 Propositional calculus Formal languages Model theory Formation rule Logical truth Symbol Constructible universe First-order logic Dynamical system Logic Mathematical logic Predicate logic
42	Department of Foundations of Computer Science ´ [8] Z. Esik and W. Kuich, Axiomatizing rational series, 8th Panhellenic Logic Symposium, Ioannina, 2011, 30–34. ´ Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2013-10-26 05:30:52 Mathematics Applied mathematics Combinatorics on words Tree automaton Descriptional Complexity of Formal Systems Finite-state machine Alphabet Regular tree grammar International Conference on Developments in Language Theory Formal languages Theoretical computer science Automata theory