UN-KLEENE BOOLEAN EQUATION SOLVING
HERLIHY, BRIAN, SCHACHTE, PETER, SØNDERGAARD, HARALDVolume:
18
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054107004668
Date:
April, 2007
File:
PDF, 1.25 MB
english, 2007