The following pages link to PRIZ (Q41427):
Displaying 7 items.
- Computational and attribute models of formal languages (Q912638) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- The programming system PRIZ (Q4560348) (← links)
- Type-theoretical semantics of some declarative languages (Q4560349) (← links)
- Toward knowledge-based specifications of languages (Q4560351) (← links)
- A resolution theorem prover for intuitionistic logic (Q4647496) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)