<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-18 06:36:01Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-09-18 06:36:01Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe |
|
An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2