The following pages link to Metafinite model theory (Q1383163):
Displaying 5 items.
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- 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)
- Computing queries with higher-order logics (Q2369013) (← links)
