Rewriting Models of Boolean Programs

Lecture Notes in Computer Science - Term Rewriting and Applications ◽

10.1007/11805618_11 ◽

2006 ◽

pp. 136-150 ◽

Cited By ~ 10

Author(s):

Ahmed Bouajjani ◽

Javier Esparza

Download Full-text