Model-Theoretic Logics
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Cambridge University Press

9781316717158
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Monadic Second-Order Theories

2017 ◽  
pp. 479-506 ◽  
Author(s):  
Y. Gurevich
Keyword(s):  
Second Order

Abstract Equivalence Relations

2017 ◽  
pp. 717-746
Author(s):  
J. A. Makowsky ◽  
D. Mundici
Keyword(s):  
Equivalence Relations

Abstract Embedding Relations

2017 ◽  
pp. 747-792
Author(s):  
J. A. Makowsky

Decidability and Quantifier-Elimination

2017 ◽  
pp. 235-268
Author(s):  
A. Baudisch ◽  
D. Seese ◽  
P. Tuschik ◽  
M. Weese
Keyword(s):  
Quantifier Elimination

Applications to Algebra

2017 ◽  
pp. 423-442 ◽  
Author(s):  
P. C. Eklof
Load More ...
Sign in / Sign up

Export Citation Format

Share Document