MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Logic Programming with Equations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 38 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Equational logic programming, actions, and change  
  • by Gerd Große, Steffen Hölldobler, Ute Sigmund — 1992 — JOINT INTL. CONF. AND SYMP. ON LOGIC PROGRAMMING (JICSLP'92
  • …Equational Logic Programming, Actions, and Change Gerd Groe, Steffen Holldobler, Josef…
  • Add To MetaCart
  • Actions and Specificity  
  • by Steffen Hölldobler, Michael Thielscher — 1993 — Proceedings of the International Logic Programming Symposium (ILPS
  • … solution to the problem of specificity culminating in a completed equational logic program…
  • Cited by 12 (6 self) – Add To MetaCart
  • Adding equations to NU-Prolog  
  • by Lee Naish — 1991 — In Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming
  • … in the next generation of combined functional and relational languages. Keywords: logic programming, equations…
  • Cited by 33 (5 self) – Add To MetaCart
  • Using Narrowing Approximations to Optimize  
  • by Equational Logic Programs, M. Alpuente, M. Falaschi, M. J. Ramis, G. Vidal — 1993 — In Proc. of PLILP’93
  • …Using Narrowing Approximations to Optimize Equational Logic Programs ∗ M. Alpuente † M. Falaschi…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB