Adolfo Piperno

MaRDI QIDQ672043zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Conflict vs causality in event structures	2021-12-20	Paper
Isomorphism test for digraphs with weighted edges	2020-12-16	Paper
Practical graph isomorphism. II. Journal of Symbolic Computation	2014-03-03	Paper
Nondeterministic extensions of untyped \(\lambda\)-calculus Information and Computation	2006-10-10	Paper
scientific article; zbMATH DE number 2185658 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 2090064 (Why is no real title available?)	2004-08-12	Paper
Intersection types and λ-definability Mathematical Structures in Computer Science	2004-02-08	Paper
A syntactical analysis of normalization Journal Of Logic And Computation	2000-09-04	Paper
scientific article; zbMATH DE number 1479607 (Why is no real title available?)	2000-07-20	Paper
scientific article; zbMATH DE number 1342217 (Why is no real title available?)	1999-09-22	Paper
An algebraic view of the Böhm-out technique Theoretical Computer Science	1999-01-12	Paper
A Filter Model for Concurrent \lambda-Calculus SIAM Journal on Computing	1998-09-21	Paper
Linear area upward drawings of AVL trees Computational Geometry	1998-04-13	Paper
Filter models for conjunctive-disjunctive \(\lambda\)-calculi Theoretical Computer Science	1997-02-27	Paper
A note on optimal area algorithms for upward drawings of binary trees Computational Geometry	1993-05-16	Paper
REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS International Journal of Foundations of Computer Science	1992-06-25	Paper
Abstraction problems in combinatory logic: A compositive approach Theoretical Computer Science	1989-01-01	Paper
scientific article; zbMATH DE number 4123701 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4085616 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4035776 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Adolfo Piperno