1
Logic, Language, Information, and Computation [E-Book] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings /
Table of Contents: “...Proof theory, -- Model theory -- Modal and temporal logics -- Automated reasoning.-Constraint and logic programming -- Constructive mathematics -- Equational logic and rewriting -- Finite Model Theory -- Descriptive complexity, -- Higher order logic...”

Full text 
Favorites
Saved in:
2
Model theoretic methods in finite combinatorics : AMS-ASL Joint Special Session, January 5-8, 2009 Washington, DC [E-Book] /
Grohe, M.
2011
Subject (ZB): “...Finite model theory -- Congresses....”

Full text 
Favorites
Saved in:
3
Finite Model Theory and Its Applications [E-Book] /

Full text 
Favorites
Saved in:

Narrow Search Results