The following pages link to Flávio L. C. de Moura (Q1627456):
Displaying 11 items.
- Applied logic for computer scientists. Computational deduction and formal proofs (Q1627457) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)
- (Q2978530) (← links)
- Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- First-order unification in the PVS proof assistant (Q4644611) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)
- Verification of the Completeness of Unification Algorithms à la Robinson (Q4931594) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705939) (← links)
