The following pages link to (Q3971260):
Displayed 8 items.
- Equivalence is in the eye of the beholder (Q1391750) (← links)
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- Abstract state machines and computationally complete query languages (Q1854519) (← links)
- Dynamic interpretations of constraint-based grammar formalisms (Q1903082) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic (Q3586011) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
- Automata network dynamical systems for construction of fractal objects (Q5950185) (← links)