MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Erratum to "Conjunctive Partial Deduction Foundations, Control, Algorithms and Experiments"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 694,475 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Conjunctive Partial Deduction in Practice  
  • by Jesper Jørgensen, Michael Leuschel, Bern Martens — 1996 — Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'96), LNCS 1207
  • … to conjunctive partial deduction. After all, we do want to focus on practice and experiments here, and we can…
  • Cited by 26 (19 self) – Add To MetaCart
  • Controlling Conjunctive Partial Deduction  
  • by Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen — 1996
  • … and global control, we describe a generic algorithm for conjunctive partial deduction, refine it into a fully…
  • Cited by 3 (1 self) – Add To MetaCart
  • Partial Deduction System  
  • by Michael Leuschel — 1997 — In Proc. of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, U.P
  • … deduction is given in Section 2. In Section 3 we discuss general control issues of partial deduction while…
  • Cited by 5 (1 self) – Add To MetaCart
  • Deduction  
  • by Ulrich Furbach, Fachbereich Informatik, Ryuzo Hasegawa, Harald Ganzinger, Im Stadtwald, Deepak Kapur
  • … orderings, we introduce a deductive system as a logical foundation for proving termination. This allows…
  • Cited by 2 (2 self) – Add To MetaCart
  • ERRATUM  
  • by Apparently There Is — 1997
  • …ERRATUM Apparently, there is an error in the proof of optimality of the algorithm presented…
  • Add To MetaCart
  • Erratum  
  • by William P. Birmingham (cmj, Bryan Pardo, William P. Birmingham
  • …Erratum In the article “Algorithms for Chordal Analysis” by Bryan Pardo and William P. Birmingham…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB