The following pages link to PROTOS-L (Q15414):
Displaying 6 items.
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- Refinement of a typed WAM extension by polymorphic order-sorted types (Q1816918) (← links)
- (Q4202930) (← links)
- Run-time type computations in the Warren Abstract machine (Q4285642) (← links)
- (Q4839037) (← links)