MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dino Pedreschi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 28 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Bounded Nondeterminism of Logic Programs  
  • by Dino Pedreschi, Salvatore Ruggieri — 1999 — Proc. of the International Conference on Logic Programming
  • …Bounded Nondeterminism of Logic Programs ∗ Dino Pedreschi and Salvatore Ruggieri Dipartimento di…
  • Cited by 3 (3 self) – Add To MetaCart
  • Time-focused density-based clustering of trajectories of moving objects  
  • by Mirco Nanni, Dino Pedreschi — 1986 — Miocene) and H. obscura (latest occurrence in the late Miocene). Fakahatchee Strand-Jones Grade core The Fakahatchee Strand-Jones Grade core (W-17394) was assigned U.S. Geological Survey Paleobotanical Number R5222. 11.4-12.0 ft depth (R5222 M) did
  • … , Mirco Nanni 2 , and Dino Pedreschi 1 1 Dipartimento di Informatica, Università di Pisa Via F. Buonarroti…
  • Cited by 3 (1 self) – Add To MetaCart
  • On Logic Programs That Do Not Fail  
  • by Dino Pedreschi, Dino Pedreschi, Salvatore Ruggieri, Salvatore Ruggieri — 1997 — Proc. ICLP99 Workshop on Veri of Logic Programs, volume 30 of Electronic Notes in Theoretical Computer Science
  • … that do not fail Dino Pedreschi, Salvatore Ruggieri October 08, 1997 ADDR: Corso Italia 40,56125 Pisa…
  • Cited by 2 (1 self) – Add To MetaCart
  • Verification of Meta-interpreters  
  • by Dino Pedreschi, Salvatore Ruggieri — 1997 — JOURNAL OF LOGIC AND COMPUTATION
  • …-interpreters Dino Pedreschi, Salvatore Ruggieri June 07, 1996 ADDR: Corso Italia 40,56125 Pisa,Italy. TEL: +39…
  • Cited by 7 (4 self) – Add To MetaCart
  • Verification of Logic Programs  
  • by Dino Pedreschi, Salvatore Ruggieri — 1997 — JOURNAL OF LOGIC PROGRAMMING
  • … Programs Dino Pedreschi, Salvatore Ruggieri February 10, 1997 ADDR: Corso Italia 40,56125 Pisa,Italy. TEL…
  • Cited by 8 (2 self) – Add To MetaCart
  • Termination is Language-independent  
  • by Dino Pedreschi, Salvatore Ruggieri — 1994 — Proceedings of the GULP-PRODE'94 Joint Conference on Declarative Programming. Univ. Politecnica de
  • …Termination is language{independent Dino Pedreschi and Salvatore Ruggieri Dipartimento di…
  • Cited by 4 (4 self) – Add To MetaCart
  • Logic-based Knowledge Discovery in Databases  
  • by Fosca Giannotti, Mirco Nanni, Dino Pedreschi
  • … , Dino Pedreschi 2 Pisa KDD Laboratory http://www-kdd.di.unipi.it/ 1 CNUCE Institute CNR -- Italian…
  • Add To MetaCart
  • Nondeterministic, Nonmonotonic Logic Databases  
  • by Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi
  • … Nanni 2 and Dino Pedreschi 2 1 CNUCE Institute of CNR, Via S. Maria 36, 56125 Pisa, Italy email: F…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB