The following pages link to The programming system PRIZ (Q1104778):
Displaying 7 items.
- PRIZ (Q41427) (← links)
- Debugging tools for a system with automatic program synthesis (Q801679) (← links)
- 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)