( en | de | ru )

 

Disambiguation of "Studer, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Provable Data Privacy.

, and . DEXA, volume 3588 of Lecture Notes in Computer Science, page 324-332. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adelheid Studer

Tobias Studer

Bruno Studer

Christoph Studer

R Studer

 

Other publications of authors with the same name

Relevant Justification Logic., and . FLAP, 6 (2): 397-412 (2019)On the Proof Theory of the Modal mu-Calculus.. Stud Logica, 89 (3): 343-363 (2008)Probabilistic justification logic., , and . J. Log. Comput., 30 (1): 257-280 (2020)A Semantics for lambda: a Calculus with Overloading and Late-binding.. J. Log. Comput., 11 (4): 527-544 (2001)Conditional Obligations in Justification Logic., , and . WoLLIC, volume 13923 of Lecture Notes in Computer Science, page 178-193. Springer, (2023)Improving Semantic Query Answering., and . DEXA, volume 4653 of Lecture Notes in Computer Science, page 671-679. Springer, (2007)Belief Expansion in Subset Models., and . CoRR, (2023)Logic and Applications - LAP Meeting., , , and . Logic, Language, and Security, volume 12300 of Lecture Notes in Computer Science, page 98-100. Springer, (2020)Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL. Springer-Verlag, Berlin Heidelberg New York, (2019)Probabilistic ABox Reasoning: Preliminary Results., and . Description Logics, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)