The Complexity of Abduction for Equality Constraint Languages
Tytuł:
The Complexity of Abduction for Equality Constraint Languages
Czasopismo:
LIPICS–LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Rok:
2013
Opis:
Computer Science Logic 2013, CSL 2013, September 2-5, 2013, Torino, Italy
Strony:
615-633
Tom (seria wydawnicza):
23