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 theory; intuitionistic logic
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68T27: Logic in artificial intelligence