The following pages link to (Q5522915):
Displaying 13 items.
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)
- An application of Tarski's principle to absolute Galois groups of function fields (Q1103006) (← links)
- Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence) (Q1109800) (← links)
- Note on the orderability of idempotent semigroups (Q1226510) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Dimension arithmétique d'un corps (Q2553998) (← links)
- Parallélisation sémantique (Q3479539) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Proving the correctness of behavioural implementations (Q5096383) (← links)
- (Q5582315) (← links)
- Lattice ordered o-minimal structures (Q5937830) (← links)
- Carnap's problem, definability and compositionality (Q6623816) (← links)