A Translation of Alternating Automata to Description Logics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proc. of the 19th Conference on Automated Deduction (CADE-19)
Publisher	Springer Nature
Volume	2741
Publication status	Published - 2003

Name	Lecture Notes in Artificial Intelligence

Access to Document

@inproceedings{b22164daaf58469784b867c1f6023287,

title = "A Translation of Alternating Automata to Description Logics",

author = "J Hladik and U Sattler",

year = "2003",

language = "English",

volume = "2741",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer Nature",

booktitle = "Proc. of the 19th Conference on Automated Deduction (CADE-19)",

address = "United States",

}