Efficient minimization of deterministic weak &ohgr;-automata
Information Processing Letters
Representing Arithmetic Constraints with Finite Automata: An Overview
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The disjunctivities of ω-languages
Discrete Applied Mathematics
An effective decision procedure for linear arithmetic over the integers and reals
ACM Transactions on Computational Logic (TOCL)
Topologies for the set of disjunctive ω-words
Acta Cybernetica
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Mechanizing the powerset construction for restricted classes of ω-automata
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Translating to Co-Büchi Made Tight, Unified, and Useful
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |