Pages that link to "Item:Q5712543"
From MaRDI portal
The following pages link to Program Development in Computational Logic (Q5712543):
Displaying 16 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Synthetic programming (Q761788) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- A bridge between constructive logic and computer programming (Q1179711) (← links)
- Program synthesis using realizability (Q1183580) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Program development in computational logic. A decade of research advances in logic-based program development. (Q1890039) (← links)
- Automatic synthesis of computation programs through analysis of variable semantics (Q1905210) (← links)
- Combining model finder and genetic programming into a general purpose automatic program synthesizer (Q2011033) (← links)
- Programming by predicates: a formal model for interactive synthesis (Q2303879) (← links)
- Analysis and synthesis of logics. How to cut and paste reasoning systems (Q2469685) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- A Logic Programming Framework for Combinational Circuit Synthesis (Q3608655) (← links)
- Composing programs in a rewriting logic for declarative programming (Q4452602) (← links)
- Synthesizing Imperative Code from Answer Set Programming Specifications (Q5097626) (← links)
