Pages that link to "Item:Q1041797"
From MaRDI portal
The following pages link to Deciding \(\mathcal H_1\) by resolution (Q1041797):
Displaying 10 items.
- Rigid tree automata and applications (Q553317) (← links)
- Extending \(H_1\)-clauses with disequalities (Q1944188) (← links)
- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment (Q2303255) (← links)
- Tree automata with equality constraints modulo equational theories (Q2426520) (← links)
- Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses (Q2914718) (← links)
- Normalization of Linear Horn Clauses (Q2999324) (← links)
- The Blossom of Finite Semantic Trees (Q4916075) (← links)
- Paths, tree homomorphisms and disequalities for -clauses (Q4961723) (← links)
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif (Q5253587) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
