The logic MPLω

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015041 ◽

2005 ◽

pp. 247-282 ◽

Cited By ~ 10

Author(s):

C. P. J. Koymans ◽

G. R. Renardel de Lavalette

Download Full-text