Marco Temperini

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
Layered map reasoning: an experimental approach put to trial on sets Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
scientific article; zbMATH DE number 1765668 (Why is no real title available?)	2002-07-10	Paper
Goals and benchmarks for automated map reasoning Journal of Symbolic Computation	2001-03-19	Paper
scientific article; zbMATH DE number 1086652 (Why is no real title available?)	1998-03-17	Paper
scientific article; zbMATH DE number 1086655 (Why is no real title available?)	1998-03-17	Paper
scientific article; zbMATH DE number 1086651 (Why is no real title available?)	1997-12-14	Paper
scientific article; zbMATH DE number 1086644 (Why is no real title available?)	1997-11-13	Paper
Subtyping inheritance and its application in languages for symbolic computation systems Journal of Symbolic Computation	1995-09-10	Paper
scientific article; zbMATH DE number 125112 (Why is no real title available?)	1993-02-21	Paper
Abstract specification of structures and methods in symbolic mathematical computation Theoretical Computer Science	1993-01-17	Paper

Research outcomes over time

This page was built for person: Marco Temperini