Pages that link to "Item:Q1806174"
From MaRDI portal
The following pages link to Reasoning with first order nondeterministic specifications (Q1806174):
Displaying 7 items.
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Quantifier-free logic for nondeterministic theories (Q2369014) (← links)
- (Q4493877) (← links)
- Quantifier-free logic for multialgebraic theories (Q4924535) (← links)
- (Q5446288) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)