zbMath0939.68833MaRDI QIDQ4324703
D.Tătar
Publication date: 2 March 1995
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68T27: Logic in artificial intelligence