MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Livio Colussi – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • A Predicate Transformer for Unification  
  • by L. Colussi, E. Marchiori, Livio Colussi, Elena Marchiori — 1992 — Proceedings of the Joint International Conference and Symposium on Logic Programming
  • … Transformer for Unification Livio Colussi Dipartimento di Matematica Pura ed Applicata Universit`a di Padova…
  • Cited by 3 (1 self) – Add To MetaCart
  • On the Comparison Complexity of the String Prefix-Matching Problem  
  • by Dany Breslauer, Dany Breslauer, Livio Colussi, Livio Colussi, Laura Toniolo, Laura Toniolo — 1995 — In Proc. 2nd European Symposium on Algorithms, number 855 in Lecture Notes in Computer Science
  • …-Matching Problem Dany Breslauer Livio Colussi Laura Toniolo BRICS Report Series RS-95-46 ISSN 0909-0878 August 1995…
  • Cited by 5 (0 self) – Add To MetaCart
  • A Dataflow Semantics for Constraint Logic Programs  
  • by Livio Colussi Elena, Elena Marchiori, Massimo Marchiori — 1995 — In Proceedings of PLILP'95
  • …A Dataflow Semantics for Constraint Logic Programs Livio Colussi 1 , Elena Marchiori 2…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB