Copyright © 1996 Published by Elsevier B.V.
Regular paper
Monadic partition logics and finite automata*1
Communicated by M. Nivat
Available online 11 June 1999.
Abstract
By argumenting first-order logic with monadic partition quantifiers we get a new family of extended logics. They are strictly weaker in expressive power than monadic second-order logic, have some good semantic features and offer better specification formalisms for studying finite automata and formal languages.






E-mail Article
Add to my Quick Links

Cited By in Scopus (3)







