Mona & Fido: The logic-automaton connection in practice

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0028022 ◽

1998 ◽

pp. 311-326 ◽

Cited By ~ 23

Author(s):

Nils Klarlund

Download Full-text