%0 Thesis %1 scheele2015model %A Scheele, Stephan M %D 2015 %K %T Model and Proof Theory of Constructive ALC, Constructive Description Logics

@phdthesis{scheele2015model, added-at = {2023-12-13T09:33:04.000+0100}, author = {Scheele, Stephan M}, biburl = {https://www.bibsonomy.org/bibtex/283702f730cfa45d33839c9f4d4e11423/admin}, dnbtitleid = {1073868389}, interhash = {cf12b7facbeaf73e11f5a7c434b43b55}, intrahash = {83702f730cfa45d33839c9f4d4e11423}, keywords = {}, school = {Uni Bamberg}, timestamp = {2023-12-13T09:33:04.000+0100}, title = {Model and Proof Theory of Constructive ALC, Constructive Description Logics}, year = 2015 }