Keyphrases
- recent developments
- monadic second order logic
- tree automata
- regular expressions
- logic programming
- deductive databases
- finite automata
- cellular automata
- multi valued
- recent advances
- datalog queries
- classical logic
- modal logic
- finite state machines
- asynchronous circuits
- predicate logic
- defeasible logic
- automata theoretic
- neural network
- lattice gas
- sound and complete axiomatization
- formal language
- pattern matching
- programming language
- multi agent systems
- genetic algorithm