swMATH29713MaRDI QIDQ41427FDOQ41427
Author name not available (Why is that?)
Official website: https://www.sciencedirect.com/science/article/pii/S074771718880035X
Cited In (11)
- 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
- TABLEAUX
- KANREN
- NUT
- GAG
- 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
