PROTOS-L
From MaRDI portal
Cited in
(6)- An order-sorted logic for knowledge representation systems
- Run-time type computations in the Warren Abstract machine
- Specification and correctness proof of a WAM extension with abstract type constraints
- Refinement of a typed WAM extension by polymorphic order-sorted types
- scientific article; zbMATH DE number 773985 (Why is no real title available?)
- scientific article; zbMATH DE number 408786 (Why is no real title available?)
This page was built for software: PROTOS-L
