AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES

DOI10.1142/S0129054109006851zbMath1191.68403MaRDI QIDQ3395145

Yih-Kuen Tsay, Bow-Yaw Wang

Publication date: 21 August 2009

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

automata theoryintuitionistic logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)

Cites Work

• A logical view of composition
• Defining liveness
• Learning regular sets from queries and counterexamples
• On the learnability of infinitary regular sets
• Inference of finite automata using homing sequences
• On ω-regular sets
• Decision problems forω-automata
• Unnamed Item
• Unnamed Item