Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Thomas, Wolfgang
2490  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

The Scope of First-Order Logic:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 95-109 , 2021
Link: https://doi.org/10.1007/..
 
?
2

A Sequent Calculus:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 55-70 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Extensions of First-Order Logic:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 133-145 , 2021
Link: https://doi.org/10.1007/..
 
?
4

The Completeness Theorem:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 71-81 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Introduction:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 3-9 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Syntax of First-Order Languages:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 11-24 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Lindström's Theorems:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 273-289 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Free Models and Logic Programming:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 205-256 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Computability and Its Limitations:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 147-204 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Syntactic Interpretations and Normal Forms:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 111-129 , 2021
Link: https://doi.org/10.1007/..
 
?
11

The Löwenheim–Skolem Theorem and the Compactness Theorem:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 83-94 , 2021
Link: https://doi.org/10.1007/..
 
?
12

An Algebraic Characterization of Elementary Equivalence:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 257-272 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Semantics of First-Order Languages:

, In: Mathematical Logic; Graduate Texts in Mathematics,
Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang - p. 25-54 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Synthesis of behavioral controllers for Discrete Event Syst..:

, In: 2009 European Control Conference (ECC),
Bollue, Kai ; Abel, Dirk ; Thomas, Wolfgang - p. 4786-4791 , 2009
Link: https://doi.org/10.23919..
 
?
15

Die Logiken von Boole und Büchi-Elgot-Trakhtenbrot in der B..:

, In: Angewandte Mathematik, insbesondere Informatik,
Thomas, Wolfgang - p. 282-300 , 1999
Link: https://doi.org/10.1007/..
 
1-15