Pages that link to "Item:Q688663"
From MaRDI portal
The following pages link to Finite-model theory -- A personal perspective (Q688663):
Displaying 9 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- A logical approach to locality in pictures languages (Q295631) (← links)
- Subtournaments isomorphic to \(W_5\) in a indecomposable tournament (Q424734) (← links)
- The complexity of reasoning with FODD and GFODD (Q900300) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- Query languages for bags and aggregate functions (Q1376407) (← links)
- Finitely representable databases (Q1376408) (← links)
- A query language for NC (Q1376409) (← links)
- Metafinite model theory (Q1383163) (← links)
