MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Sergio Antoy – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 42 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Needed Narrowing in Prolog  
  • by Sergio Antoy — 1996 — In Proc. Int. Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'96
  • …Needed Narrowing in Prolog Sergio Antoy Portland State University TR 96-2 May 17, 1996 Abstract We…
  • Cited by 7 (4 self) – Add To MetaCart
  • Definitional Trees  
  • by Sergio Antoy — 1992 — In Proc. of the 3rd International Conference on Algebraic and Logic Programming
  • …Definitional Trees Sergio Antoy ? Department of Computer Science Portland State University…
  • Cited by 131 (30 self) – Add To MetaCart
  • Constructor-based Conditional Narrowing  
  • by Sergio Antoy — 2001 — In Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001
  • …Constructor-based Conditional Narrowing Sergio Antoy Dept. of Computer Science Portland State…
  • Cited by 42 (18 self) – Add To MetaCart
  • Optimal Non-Deterministic Functional Logic Computations  
  • by Sergio Antoy Portland, Sergio Antoy — 1997 — In Proc. International Conference on Algebraic and Logic Programming (ALP’97
  • … LNCS Vol. 1298, pages 16-30. Optimal Non-Deterministic Functional Logic Computations ? Sergio Antoy…
  • Add To MetaCart
  • Demandness in Rewriting and Narrowing  
  • by Sergio Antoy, Salvador Lucas — 2002 — Proc. of the 11th Int’l Workshop on Functional and (Constraint) Logic Programming WFLP’02, volume 76 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher
  • …Demandness in Rewriting and Narrowing Sergio Antoy 1# and Salvador Lucas 2## 1 Computer Science…
  • Cited by 10 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB