Autor der Publikation

Infinitary Methods in Finite Model Theory.

, , und . Logic Without Borders, Volume 5 von Ontos Mathematical Logic, De Gruyter, (2015)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Relevant consequence and empirical inquiry., und . J. Philosophical Logic, 22 (4): 437-448 (1993)Recognizing Strong Random Reals., und . Rev. Symb. Log., 1 (1): 56-63 (2008)Formal Theories of Language Acquisition: Practical and Theoretical Perspectives., , und . IJCAI, Seite 566-572. William Kaufmann, (1983)Notes on random reals, und . CoRR, (2012)Constraints for Semi-structured Data and XML., , , und . SIGMOD Record, 30 (1): 47-45 (2001)Interaction between Path and Type Constraints., , und . PODS, Seite 56-67. ACM Press, (1999)Path Constraints in Semistructured and Structured Databases., , und . PODS, Seite 129-138. ACM Press, (1998)Preservation Theorems in Finite Model Theory., und . LCC, Volume 960 von Lecture Notes in Computer Science, Seite 480-502. Springer, (1994)Specifying and Reasoning about Workflows with Path Constraints., und . ICSC, Volume 1749 von Lecture Notes in Computer Science, Seite 226-235. Springer, (1999)k-universal finite graphs., , und . Logic and Random Structures, Volume 33 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 65-77. DIMACS/AMS, (1995)