Pages that link to "Item:Q429586"
From MaRDI portal
The following pages link to Model evolution with equality -- revised and implemented (Q429586):
Displaying 13 items.
- E-Darvin (Q18923) (← links)
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Model evolution and refinement (Q436356) (← links)
- A combined superposition and model evolution calculus (Q438531) (← links)
- The equivalence between the TE, TM model and the Darwin models (Q977245) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- Finite reasons for safety (Q2351397) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Model Evolution with Equality Modulo Built-in Theories (Q5200017) (← links)
- Detection and exploitation of functional dependencies for model generation (Q5398289) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q6111523) (← links)