Benedetto Intrigila

Available identifiers

zbMath Open intrigila.benedettoMaRDI QIDQ397403

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5101343	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5111316	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4625694	2019-02-25	Paper
Fixed points in lambda calculus. an eccentric survey of problems and solutions	2018-01-12	Paper
Lambda theories allowing terms with a finite number of fixed points	2017-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q2789520	2016-03-01	Paper
On the commutative equivalence of bounded context-free and regular languages: the semi-linear case	2015-02-24	Paper
On the commutative equivalence of bounded context-free and regular languages: the code case	2014-12-02	Paper
On the commutative equivalence of semi-linear sets of \(\mathbb{N}^k\)	2014-12-02	Paper
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems	2014-08-12	Paper
Synchronized Regular Expressions	2013-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2882383	2012-05-04	Paper
Quasi-polynomials, linear Diophantine equations and semi-linear sets	2012-03-13	Paper
Automated Generation of Optimal Controllers through Model Checking Techniques	2010-06-02	Paper
Theoretical Computer Science	2010-02-23	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
The Parikh counting functions of sparse context-free languages are quasi-polynomials	2009-11-06	Paper
The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus	2009-06-30	Paper
On structural properties of eta-expansions of identity	2009-04-28	Paper
The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus	2009-03-10	Paper
Solution of a Problem of Barendregt on Sensible lambda-Theories	2007-10-11	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
On the structure of the counting function of sparse context-free languages.	2006-05-18	Paper
Some results on extensionality in lambda calculus	2005-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4427905	2003-09-14	Paper
Synchronized regular expressions	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4417845	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417987	2003-07-30	Paper
Generating graphical applications from state-transition visual specifications	2003-06-25	Paper
A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4787235	2003-01-09	Paper
On the number of fixed points of a combinator in lambda calculus	2001-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q4522249	2001-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4941990	2001-01-07	Paper
On the generalization of Higman and Kruskal's theorems to regular languages and rational trees	2000-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4934252	2000-01-17	Paper
Orders, reduction graphs and spectra	1999-01-12	Paper
Non-existent Statman's double fixed point combinator does not exist, indeed	1997-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3837724	1997-08-04	Paper
A remark on infinite matching vs infinite unification	1996-12-16	Paper
Some results on numerical systems in \(\lambda\)-calculus	1996-01-30	Paper
The ant-lion paradigm for strong normalization	1994-11-20	Paper
The basis decision problem in λ‐calculus	1994-09-08	Paper
On the cop number of a graph	1994-07-03	Paper
Some new results on easy lambda-terms	1994-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4008736	1992-09-27	Paper
Combinatorial principles in elementary number theory	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3982064	1992-06-26	Paper
Negative Results on the Reduction of the Recursion Scheme	1988-01-01	Paper
BAIRE CATEGORY ON CARDINALS	1983-01-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: Benedetto Intrigila