Carla Limongelli

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
AIIA 2003: Advances in Artificial Intelligence Lecture Notes in Computer Science*	2010-03-05	Paper
Linear temporal logic as an executable semantics for planning languages Journal of Logic, Language and Information	2009-03-24	Paper
Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science	2006-07-07	Paper
scientific article; zbMATH DE number 1950254 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1086644 (Why is no real title available?)	1997-11-13	Paper
scientific article; zbMATH DE number 1086645 (Why is no real title available?)	1997-11-13	Paper
scientific article; zbMATH DE number 1086646 (Why is no real title available?)	1997-11-13	Paper
On an efficient algorithm for big rational number computations by parallel \(p\)-adics Journal of Symbolic Computation	1993-08-25	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
scientific article; zbMATH DE number 4152522 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Carla Limongelli