Decidability of monadic theories

Mathematical Foundations of Computer Science 1984 - Lecture Notes in Computer Science ◽

10.1007/bfb0030296 ◽

2006 ◽

pp. 162-175 ◽

Cited By ~ 23

Author(s):

A. L. Semenov

Download Full-text