Flávio L. C. de Moura

Available identifiers

zbMath Open de-moura.flavio-l-cWikidataQ102273388 ScholiaQ102273388MaRDI QIDQ1627456

List of research outcomes

Publication	Date of Publication	Type
First-order unification in the PVS proof assistant	2019-01-08	Paper
Applied logic for computer scientists. Computational deduction and formal proofs	2018-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q2978530	2017-04-25	Paper
Unification for $$\lambda $$ -calculi Without Propagation Rules	2016-12-21	Paper
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi	2015-03-18	Paper
Comparing Calculi of Explicit Substitutions with Eta-reduction	2013-04-19	Paper
Verification of the Completeness of Unification Algorithms à la Robinson	2010-09-29	Paper
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★	2009-11-30	Paper
Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions	2008-04-07	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Comparing and implementing calculi of explicit substitutions with eta-reduction	2005-06-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Flávio L. C. de Moura