by Christoph Benzmüller
Reference:
Combining Logics in Simple Type Theory (Christoph Benzmüller), In Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings (Jürgen Dix, Joao Leite, Guido Governatori, Woitek Jamroga, eds.), Springer, Lecture Notes in Artifical Intelligence, volume 6245, pp. 33-48, 2010. (Url (preprint): http://christoph-benzmueller.de/papers/W41.pdf)
Bibtex Entry:
@inproceedings{W41,
Address = {Lisbon, Portugal},
Author = {Christoph Benzm{\"u}ller},
Booktitle = {Computational Logic in Multi-Agent Systems, 11th
International Workshop, CLIMA XI, Lisbon, Portugal,
August 16-17, 2010. Proceedings},
Doi = {10.1007/978-3-642-14977-1_6},
Editor = {J{\"u}rgen Dix and Joao Leite and Guido Governatori
and Woitek Jamroga},
Pages = {33-48},
Publisher = {Springer},
Series = {Lecture Notes in Artifical Intelligence},
Title = {Combining Logics in Simple Type Theory},
Note = {Url (preprint):
\url{http://christoph-benzmueller.de/papers/W41.pdf}},
Volume = 6245,
Year = 2010,
}