On dual tableau-based decision procedures for relational fragments
On dual tableau-based decision procedures for relational fragments
Autor
Data publikacji
Dyscyplina PBN
filozofia
Tytuł monografii
Proceedings of the Workshop on Automated Deduction: Decidability, Complexity, Tractability ADDCT’14
Nazwa edycji konferencji
Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT) affiliated at IJCAR'14 7th International Joint Conference on Automated Reasoning
Strony od-do
50–58
Wydawca
Vienna University of Technology
ISBN
978-3-319-08586-9
Licencja otwartego dostępu
Dostęp zamknięty