Pages that link to "Item:Q2894076"
From MaRDI portal
The following pages link to Mathematical Logic for Computer Science (Q2894076):
Displaying 19 items.
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← links)
- Decomposition for a new kind of imprecise information system (Q1713845) (← links)
- Colored cut games (Q2087453) (← links)
- Can you answer while you wait? (Q2103911) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- On logical and extensional characterizations of attributed feature models (Q2120962) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Formalization of the Resolution Calculus for First-Order Logic (Q2829269) (← links)
- A SIMPLE ALGORITHM FOR DEDUCTION (Q3564631) (← links)
- (Q4789462) (← links)
- (Q5015285) (← links)
- (Q5492111) (← links)
- Mathematical logic. Foundations for information science (Q5920721) (← links)
- (Q6060107) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
- A naive prover for first-order logic: a minimal example of analytic completeness (Q6541166) (← links)
- Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL (Q6611963) (← links)
- SeCaV: a sequent calculus verifier in Isabelle/HOL (Q6661151) (← links)