The following pages link to Jose Antonio Alonso (Q417948):
Displaying 21 items.
- A logic approach to decision taking in a railway interlocking system using Maple (Q417950) (← links)
- Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
- (Q692317) (redirect page) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- (Q877823) (redirect page) (← links)
- Formal correctness of a quadratic unification algorithm (Q877825) (← links)
- Formal proofs about rewriting using ACL2 (Q1610218) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- Formal verification of a generic framework to synthesize SAT-provers (Q2583288) (← links)
- (Q3021901) (← links)
- Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers (Q3079919) (← links)
- (Q3408130) (← links)
- A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic (Q3523171) (← links)
- (Q4433996) (← links)
- (Q4471942) (← links)
- (Q4664924) (← links)
- Computer Aided Systems Theory – EUROCAST 2005 (Q5394447) (← links)
- (Q5473462) (← links)
- Theorem Proving in Higher Order Logics (Q5477667) (← links)
- CONSISTENCY IN THE ANALYTIC HIERARCHY PROCESS: A NEW APPROACH (Q5487873) (← links)
