Enrico Tassi

Available identifiers

zbMath Open tassi.enricoWikidataQ122209904 ScholiaQ122209904MaRDI QIDQ205581

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5875441	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4964707	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4964708	2021-03-03	Paper
Implementing type theory in higher order constraint logic programming	2019-10-09	Paper
ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter	2016-01-12	Paper
Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface	2015-09-14	Paper
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)	2014-09-08	Paper
An Interactive Driver for Goal-directed Proof Strategies	2014-06-27	Paper
Tinycals: Step by Step Tacticals	2013-12-20	Paper
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems	2013-08-09	Paper
Canonical Structures for the Working Coq User	2013-08-07	Paper
A Machine-Checked Proof of the Odd Order Theorem	2013-08-07	Paper
Formal metatheory of programming languages in the Matita interactive theorem prover	2013-04-17	Paper
A Language of Patterns for Subterm Selection	2012-09-20	Paper
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions	2012-04-03	Paper
Formalising Overlap Algebras in Matita	2011-10-21	Paper
The Matita Interactive Theorem Prover	2011-07-29	Paper
Smart Matching	2010-08-24	Paper
A compact kernel for the calculus of inductive constructions	2009-11-23	Paper
Hints in Unification	2009-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q3497625	2009-07-27	Paper
Natural Deduction Environment for Matita	2009-07-09	Paper
Crafting a Proof Assistant	2009-03-10	Paper
A Modular Formalisation of Finite Group Theory	2008-09-02	Paper
Working with Mathematical Structures in Type Theory	2008-06-03	Paper
User interaction with the Matita proof assistant	2007-12-03	Paper
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case	2007-11-28	Paper
Types for Proofs and Programs	2006-11-13	Paper
Event indexing systems for efficient selection and analysis of HERA data	2001-10-10	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: Enrico Tassi