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