PRIZ

MaRDI QIDQ41427swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S074771718880035X

Described by source

• The programming system PRIZ

Cited in

(12)

• The programming system PRIZ
• Toward knowledge-based specifications of languages
• A tableau-like proof procedure for normal modal logics
• lolliCoP
• TABLEAUX
• KANREN
• NUT
• GAG
• 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