( en | de | ru )

 

Disambiguation of "Studer, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL

. Springer-Verlag, Berlin Heidelberg New York, (2016)

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.

Bruno Studer

Christoph Studer

Tobias Studer

Adelheid Studer

R Studer

 

Other publications of authors with the same name

Relevant Justification Logic., and . FLAP, 6 (2): 397-412 (2019)Belief Expansion in Subset Models., and . CoRR, (2023)Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL. Springer-Verlag, Berlin Heidelberg New York, (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)Logic and Applications - LAP Meeting., , , and . Logic, Language, and Security, volume 12300 of Lecture Notes in Computer Science, page 98-100. Springer, (2020)Improving Semantic Query Answering., and . DEXA, volume 4653 of Lecture Notes in Computer Science, page 671-679. Springer, (2007)Probabilistic ABox Reasoning: Preliminary Results., and . Description Logics, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)