MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Bern Martens" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • To Parse or Not To Parse  
  • by Wim Vanhoof, Bern Martens — 1997 — Logic Program Synthesis and Transformation. Proceedings of LOPSTR’97, LNCS 1463
  • …To Parse or Not To Parse Wim Vanhoof ? and Bern Martens ?? Department of Computer Science…
  • Cited by 15 (5 self)Add To MetaCart
  • 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
  • …Conjunctive Partial Deduction in Practice Jesper J��rgensen ? Michael Leuschel ?? Bern Martens…
  • Cited by 26 (19 self)Add To MetaCart
  • Bottom-up Partial Deduction of Logic Programs  
  • by Wim Vanhoof, Danny De Schreye, Bern Martens, Danny De, Schreye Bern Martens — 1999 — The Journal of Functional and Logic Programming
  • …Bottom-up Partial Deduction of Logic Programs Wim Vanhoof Danny De Schreye Bern Martens Abstract…
  • Cited by 3 (2 self)Add To MetaCart
  • Bottom-up Specialisation of Logic Programs  
  • by Wim Vanhoof, Danny De Schreye, Bern Martens — 1998 — In P. Flener (Ed.), Proceedings of LOPSTR’98, Volume 1559 of Lecture Notes In Computer Science
  • …Bottom-up Specialisation of Logic Programs Abstract Wim Vanhoof, Danny De Schreye, and Bern
  • Cited by 3 (2 self)Add To MetaCart
  • Specialising The Other Way Around
  • by Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck — 1998 — Proceedings of the Joint International Conference and Symposium on Logic Programming JICSLP’98
  • …Specialising The Other Way Around Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck…
  • Cited by 4 (1 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB