The following pages link to Metafinite model theory (Q1383163):
Displayed 12 items.
- Expressive power and abstraction in Essence (Q941820) (← links)
- From a zoo to a zoology: Towards a general theory of graph polynomials (Q1015377) (← links)
- Finitely representable databases (Q1376408) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)
- Expressive power of SQL. (Q1401278) (← links)
- Computing queries with higher-order logics (Q2369013) (← links)
- A Proof System with Bounded Non-determinism in Database Transformations (Q3092325) (← links)
- Database Theory, Yuri, and Me (Q3585996) (← links)
- The Computational Complexity of Quantified Reciprocals (Q3623832) (← links)
- On polynomial time computation over unordered structures (Q4779654) (← links)
- Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH (Q4916232) (← links)
- Expressibility of Higher Order Logics (Q4924534) (← links)