hide
Title:
Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning – CEDAR’08
Source Genre:
Proceedings
Creator(s):
Baader, Franz, Editor
Ghilardi, Silvio, Editor
Hermann, Miki, Editor
Sattler, Ulrike, Editor
Sofronie-Stokkermans, Viorica1, Editor
Affiliations:
1
Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
Publ. Info:
Sydney, Australia : CEDAR
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
47 - 62
Identifier:
-