PROTOS-L
From MaRDI portal
swMATH2876MaRDI QIDQ15414FDOQ15414
Author name not available (Why is that?)
Official website: http://www.fernuni-hagen.de/wbs/research/protos/index.html
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
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: PROTOS-L
