Pure
From MaRDI portal
Software:37087
No author found.
Source code repository: https://github.com/agraef/pure-lang
Related Items (2)
Efficient online timed pattern matching by automata-based skipping ⋮ Transparent rule based CAS to support formalization of knowledge
This page was built for software: Pure
