PRIZ
From MaRDI portal
Software:41427
No author found.
Related Items (7)
A tableau-like proof procedure for normal modal logics ⋮ Type-theoretical semantics of some declarative languages ⋮ Toward knowledge-based specifications of languages ⋮ Computational and attribute models of formal languages ⋮ A resolution theorem prover for intuitionistic logic ⋮ Proof-theoretical investigation of temporal logic with time gaps ⋮ The programming system PRIZ
This page was built for software: PRIZ
