Pages that link to "Item:Q1342134"
From MaRDI portal
The following pages link to Abstract parametric classes and abstract data types defined by classical and constructive logical methods (Q1342134):
Displaying 6 items.
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- An approach to the systematic application of ATD and parametric programming (Q1183792) (← links)
- Class-diagrams for abstract data types (Q1675796) (← links)
- Nuprl's class theory and its applications (Q2752048) (← links)
- Formal reasoning about modules, reuse and their correctness (Q4632313) (← links)