Carla Limongelli

From MaRDI portal
Person:1006452

Available identifiers

zbMath Open limongelli.carlaMaRDI QIDQ1006452

List of research outcomes





PublicationDate of PublicationType
AI*IA 2003: Advances in Artificial Intelligence2010-03-05Paper
Linear temporal logic as an executable semantics for planning languages2009-03-24Paper
Automated Reasoning with Analytic Tableaux and Related Methods2006-07-07Paper
https://portal.mardi4nfdi.de/entity/Q44128522003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q43628941997-11-13Paper
https://portal.mardi4nfdi.de/entity/Q43628951997-11-13Paper
https://portal.mardi4nfdi.de/entity/Q43628961997-11-13Paper
On an efficient algorithm for big rational number computations by parallel \(p\)-adics1993-08-25Paper
https://portal.mardi4nfdi.de/entity/Q40267621993-02-21Paper
Abstract specification of structures and methods in symbolic mathematical computation1993-01-17Paper
https://portal.mardi4nfdi.de/entity/Q34818181989-01-01Paper

Research outcomes over time

This page was built for person: Carla Limongelli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1006452&oldid=11038496"
Powered by MediaWiki