( en | de | ru )

 

Disambiguierung von "Studer, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms.

, und . Ann. Pure Appl. Log., 114 (1-3): 79-101 (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Adelheid Studer

Tobias Studer

Bruno Studer

Christoph Studer

R Studer

 

Weitere Publikationen von Autoren mit dem selben Namen

Belief Expansion in Subset Models., und . CoRR, (2023)Improving Semantic Query Answering., und . DEXA, Volume 4653 von Lecture Notes in Computer Science, Seite 671-679. Springer, (2007)Probabilistic justification logic., , und . 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., , und . WoLLIC, Volume 13923 von Lecture Notes in Computer Science, Seite 178-193. Springer, (2023)Logic and Applications - LAP Meeting., , , und . Logic, Language, and Security, Volume 12300 von Lecture Notes in Computer Science, Seite 98-100. Springer, (2020)Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL. Springer-Verlag, Berlin Heidelberg New York, (2019)Privacy Preserving Modules for Ontologies.. Ershov Memorial Conference, Volume 5947 von Lecture Notes in Computer Science, Seite 380-387. Springer, (2009)What Do You Care About: Inferring Values from Emotions., , , und . AAMAS, Seite 2289-2291. ACM, (2023)Probabilistic ABox Reasoning: Preliminary Results., und . Description Logics, Volume 147 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)