Pages that link to "Item:Q3185770"
From MaRDI portal
The following pages link to Simulation and Synthesis of Deduction Calculi (Q3185770):
Displaying 6 items.
- Simulation of hybrid circuits in constraint logic programming (Q805302) (← links)
- Fixpoint semantics and simulation (Q1575253) (← links)
- A theory for deductive synthesis of algorithms in the computing milieu (Q1900220) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431295) (← links)
- OUP accepted manuscript (Q5894701) (← links)