search result

Cover von Foundations of software science and computation structures
second international conference : FOSSACS '99 : held as part of the joint European conferences on theory and practice of software : ETAPS '99 : Amsterdam, the Netherlands, March 22 - 28, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1578
Media group: MONOGRAPHIE
Cover von Determinacy of Infinite Games

Determinacy of Infinite Games

Perspectives of the Algorithmic Approach (Invited Talk)
Year: 2017
Media group: LIPIcs
Cover von Theoretische Informatik - ein Kurzprofil

Theoretische Informatik - ein Kurzprofil

Author: Thomas, Wolfgang
Year: 2010
Media group: ARTICLE
Cover von Theoretische Informatik; 5
Themenheft : S. 429-498
Search for this author
Year: 2010
Publisher: Berlin, Springer
Informatik Spektrum
Count: 5
Media group: SPECIAL ISSUE
Cover von Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik
Author: Thomas, Wolfgang Search for this author
Year: 1975
Publisher: Freiburg, Univ.
Media group: DISSERTATION
Cover von Computer science logic
11th international workshop : CSL '97 : annual conference of the EACSL : Aarhus, Denmark, August 23 - 29, 1997 : selected papers
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1414
Media group: MONOGRAPHIE
Cover von STACS 2006
23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23 - 25, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3884
Media group: MONOGRAPHIE
Cover von Developments in language theory
foundations, applications, and perspectives : Aachen, Germany, 6 - 9 July 1999
Search for this author
Year: 2000
Publisher: Singapore, World Scientific
Media group: MONOGRAPHIE
Cover von Mathematical Logic
Author: Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Graduate texts in mathematics
Media group: MONOGRAPHIE
Cover von Mathematical logic
Author: Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang Search for this author
Year: 1994
Publisher: Heidelberg, Springer
Series: Undergraduate texts in mathematics
Media group: MONOGRAPHIE
OPEN V 11.1.0.0