The following pages link to (Q3138862):
Displaying 7 items.
- The Boolean solution problem from the perspective of predicate logic (Q1687567) (← links)
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- A theorem prover for Boolean BI (Q2931798) (← links)
- (Q4438110) (← links)
- (Q5202652) (← links)
- Automata, Languages and Programming (Q5466518) (← links)