Pages that link to "Item:Q3992238"
From MaRDI portal
The following pages link to A calculus for the construction of modular prolog programs (Q3992238):
Displaying 10 items.
- A language for linking modules into systems (Q1060558) (← links)
- Data abstraction in Prolog/KR (Q1077922) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Modular specifications with supernormal defaults (Q1924749) (← links)
- Prolog-oriented support of calculations (Q2763583) (← links)
- (Q4281676) (← links)
- A module system for a programming language based on the LF logical framework (Q4399511) (← links)
- (Q4725709) (← links)
- A refinement of import/export declarations in modular logic programming and its semantics (Q5096751) (← links)