sign in · help · news · about ·

BibSonomy :: author :: Pecchiari ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(8)

<< < 1 > >>

Composing decision procedures: the approach and a case study.
Mauro Di Manzo, and Paolo Pecchiari AI*IA, volume 992 of Lecture Notes in Computer Science, page 175-186. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Reasoning Theories.
Fausto Giunchiglia, Paolo Pecchiari, and Carolyn L. Talcott J. Autom. Reasoning 26(3):291-331 (2001)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem.
Matt Kaufmann, and Paolo Pecchiari J. Autom. Reasoning 16(1-2):181-222 (1996)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Structured Proof Procedures.
Enrico Giunchiglia, Alessandro Armando, and Paolo Pecchiari Ann. Math. Artif. Intell. 15(1):1-18 (1995)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, and Bing Yu CAV, volume 1254 of Lecture Notes in Computer Science, page 202-213. Springer, (1997)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
Proving Formulas through Reduction to Decidable Classes.
Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, and Paolo Pecchiari AI*IA, volume 728 of Lecture Notes in Computer Science, page 1-10. Springer, (1993)
to dblp by dblp on Aug 4, 2002, 12:00 AM
URL | BibTeX
NALIG: A CAD System for Interior Design with High Level Interaction Capabilities.
Alessandro Armando, and Paolo Pecchiari ICTAI, page 446-447. (1993)
to dblp by dblp on Aug 1, 2002, 12:00 AM
URL | BibTeX
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.
Fausto Giunchiglia, Paolo Pecchiari, and Carolyn L. Talcott Frontiers of Combining Systems FroCos, page 157-174. (1996)
to dblp by dblp on Jan 3, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper