Schneider, Thomas, 1976-
Thomas Schneider researcher ORCID 0000-0001-5592-6183
Schneider, Thomas
VIAF ID: 45505473 ( Personal )
Permalink: http://viaf.org/viaf/45505473
Preferred Forms
5xx's: Related Names (15)
- 551 _ _ ‡a Bremen ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _ ‡a Erfurt ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Friedrich-Schiller-Universität Jena ‡b Institut für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Institut für Informatik
- 551 _ _ ‡a Jena ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Jena, Univ
- 551 _ _ ‡a Leipzig ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Manchester ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _ ‡a Saarbrücken ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Universität Bremen ‡b Fachbereich Mathematik, Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität des Saarlandes ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universitätsbibliothek Erfurt ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of Manchester ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a WoMO 2011 (2011 : Ljubljana, Slovenia)
- 510 2 _ ‡a ebrary, Inc
Works
Title | Sources |
---|---|
complexity of generalized satisfiability for linear temporal logic | |
complexity of hybrid logics over restricted frame classes | |
Modular ontologies, c2011, via WWW, viewed Nov. 29, 2011: | |
Modular ontologies : proceedings of the fifth International Workshop (WoMO 2011) |