PRIZ
From MaRDI portal
Software:41427
swMATH29713MaRDI QIDQ41427FDOQ41427
Author name not available (Why is that?)
Cited In (7)
- The programming system PRIZ
- Toward knowledge-based specifications of languages
- A tableau-like proof procedure for normal modal logics
- A resolution theorem prover for intuitionistic logic
- Proof-theoretical investigation of temporal logic with time gaps
- Computational and attribute models of formal languages
- Type-theoretical semantics of some declarative languages
This page was built for software: PRIZ
