MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Completeness of Functional Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Equivalence if the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic  
  • by Makoto Hamana, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, A. Krall, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren — 1997
  • … of Functional and Logic Programming 1997-1 Equivalence of the Quotient Term Model and the Least Complete…
  • Add To MetaCart
  • A Virtual Machine for Functional Logic Computations  
  • by Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew Tolmach — 2005 — In Proc. of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004
  • … of the operational completeness of functional logic computations and inhibits the implementation of advanced search…
  • Cited by 8 (8 self) – Add To MetaCart
  • Formal Aspects of Computing Bibliography  
  • by J. Allison, Mark Harman, Dan Simpson, Carroll Morgan, Annabelle Mciver, Karen Seidel, J C M Baeten, Geoffrey Brown, Wayne Luk, Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification — 1997
  • … Staples, Peter J Robinson, and Daniel Hazel. A functional logic for higher level reasoning about…
  • Add To MetaCart
  • Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers  
  • by Heinz Faßbender, Andrea Mößle, Heiko Vogler, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, H. Kuchen, J. Launchbury, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren — 1996
  • …, an implementation of a complete functional logic programming language might also benefit (cf. the discussion…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB