The following pages link to (Q4720771):
Displaying 18 items.
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- A demonstrably correct compiler (Q749202) (← links)
- A generalized approach to metaprogramming in logic grammars (Q922715) (← links)
- Horn clause programs with polymorphic types: Semantics and resolution (Q1177936) (← links)
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry (Q1274763) (← links)
- Logical debugging (Q1322853) (← links)
- Assignment methods for incidence calculus (Q1344260) (← links)
- Specification, verification and prototyping of an optimized compiler (Q1346607) (← links)
- Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
- The Thue problem and logical specifications of derivation in formal systems (Q1582908) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- NuMDG: a new tool for multiway decision graphs construction (Q2434522) (← links)
- Can we transform logic programs into attribute grammars ? (Q3991299) (← links)
- A comparison of three PROLOG extensions (Q3992235) (← links)
- 1983–1993: The wonder years of sequential Prolog implementation (Q4305631) (← links)
- LCF-style Platform based on Multiway Decision Graphs (Q4982624) (← links)
- Logic Programming (Q5313210) (← links)
- A New Approach for the Construction of Multiway Decision Graphs (Q5505605) (← links)
