Searching for authors named m hanus – sorted by Number of Citations

Order by: Relevance | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

102 documents found, showing 1 through 10. Next 10 →

The Integration of Functions into Logic Programming: From Theory to Practice
by Michael Hanus — 1994 — Journal of Logic Programming
…Functional Logic Programming: From Theory to Curry ⋆ October 27, 2005 Michael Hanus Institut für…
Cited by 300 (50 self) – Add To MetaCart

An Implementation of Narrowing Strategies
by Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner — 2001 — Journal of the ACM
…An Implementation of Narrowing Strategies Sergio Antoy antoy@(email omitted); Michael Hanus mh…
Cited by 261 (108 self) – Add To MetaCart

A unified computation model for functional and logic programming
by Michael Hanus, Informatik Ii, Rwth Aachen — 1997 — In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris
… A Unified Computation Model for Functional and Logic Programming Michael Hanus Informatik II…
Cited by 132 (65 self) – Add To MetaCart

Higher-order narrowing with definitional trees
by Michael Hanus, Christian Prehofer — 1996 — Neural Computation
…Higher-Order Narrowing with De nitional Trees 2 Michael Hanus 1 and Christian Prehofer 2 1…
Cited by 71 (21 self) – Add To MetaCart

A Declarative Debugging Scheme
by Lee Naish, 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, P. Van, Hentenryck D. S. Warren — 1997
…. Darlington Y. Guo M. Hagiya M. Hanus T. Ida J. Jaffar B. Jayaraman M. Kohler A. Krall H. Kuchen J…
Cited by 57 (4 self) – Add To MetaCart

Compiling Multi-Paradigm Declarative Programs into Prolog
by Sergio Antoy, Michael Hanus — 2000 — In Proc. International Workshop on Frontiers of Combining Systems (FroCoS’2000
…Compiling Multi-Paradigm Declarative Programs into Prolog ? Sergio Antoy 1 Michael Hanus 2 1…
Cited by 51 (34 self) – Add To MetaCart

Parallel Evaluation Strategies for Functional Logic Languages
by Sergio Antoy, Rachid Echahed, Michael Hanus — 1997 — In Proc. of the Fourteenth International Conference on Logic Programming (ICLP’97
…-38041 Grenoble, France echahed@(email omitted); Michael Hanus RWTH Aachen, Informatik II, D-52056 Aachen…
Cited by 47 (26 self) – Add To MetaCart

Operational Semantics for Declarative Multi-Paradigm Languages
by E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal — 2005 — Journal of Symbolic Computation
… An Operational Semantics for Declarative Multi-Paradigm Languages ? E. Albert1 M. Hanus2 F…
Cited by 43 (23 self) – Add To MetaCart

Curry: A Truly Functional Logic Language
by Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro, Rwth Aachen, Informatik Ii — 1995
…Curry: A Truly Functional Logic Language Michael Hanus Herbert Kuchen RWTH Aachen, Informatik II…
Cited by 43 (5 self) – Add To MetaCart

Distributed Programming in a Multi-Paradigm Declarative Language
by Michael Hanus — 1999 — In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP'99
…Distributed Programming in a Multi-Paradigm Declarative Language # Michael Hanus Informatik II…
Cited by 41 (20 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB