PROTOS-L
From MaRDI portal
Software:15414
No author found.
Related Items (6)
Run-time type computations in the Warren Abstract machine ⋮ Unnamed Item ⋮ An order-sorted logic for knowledge representation systems ⋮ Unnamed Item ⋮ Specification and correctness proof of a WAM extension with abstract type constraints ⋮ Refinement of a typed WAM extension by polymorphic order-sorted types
This page was built for software: PROTOS-L
