The complexity of propositional linear temporal logics in simple cases
Information and Computation
The MSO Logic-Automaton Connection in Linguistics
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
B2M: A Semantic Based Tool for BLIF Hardware Descriptions
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Decision Procedure for an Extension of WS1S
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Extracting Exact Time Bounds from Logical Proofs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Decision procedures for inductive Boolean functions based on alternating automata
Theoretical Computer Science
Monadic second-order logics with cardinalities
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Combining logic programs and monadic second order logics by program transformation
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
| Hi-index | 0.00 |