Pages that link to "Item:Q5713943"
From MaRDI portal
The following pages link to Logic Based Program Synthesis and Transformation (Q5713943):
Displaying 7 items.
- ESRA (Q34033) (← links)
- MiningZinc: a declarative framework for constraint-based mining (Q511753) (← links)
- The design of the zinc modelling language (Q941812) (← links)
- Essence: A constraint language for specifying combinatorial problems (Q941817) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899) (← links)
