Вы здесь

Главная

Hanus M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Observing Functional Logic Computations 2004 Brassel B., Chitil O., Hanus M., Huch F. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Functional Logic Design Patterns 2002 Antoy S., Hanus M. Lecture Notes in Computer Science 25.10.2002
СТ ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry 2001 Hanus M., Huch F., Niederau P. Lecture Notes in Computer Science 23.05.2001
СТ A Practical Partial Evaluator for a Multi-Paradigm Declarative Language 2001 Albert E., Hanus M., Vidal G. Lecture Notes in Computer Science 06.04.2001
СТ High-Level Server Side Web Scripting in Curry 2001 Hanus M. Lecture Notes in Computer Science 05.04.2001
СТ A Functional Logic Programming Approach to Graphical User Interfaces 2000 Hanus M. Lecture Notes in Computer Science 03.02.2000
СТ Specialization of Inductively Sequential Functional Logic Programs 1999 Alpuente M., Hanus M., Lucas S., Vidal G. SIGPLAN Notices 20.12.1999
СТ A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages 1999 Hanus M., Lucas S. Lecture Notes in Computer Science 25.11.1999
СТ Distributed Programming in a Multi-Paradigm Declarative Language 1999 Hanus M. Lecture Notes in Computer Science 27.10.1999
СТ Integration of Declarative Paradigms: Benefits and Challenges 1997 Hanus M. SIGPLAN Notices 15.04.1998
СТ Parallel Evaluation Strategies for Functional Logic Languages 1997 Antoy S., Echahed R., Hanus M. Logic Programming 11.03.1998
СТ Teaching Functional and Logic Programming with a Single Computational Model 1997 Hanus M. Lecture Notes in Computer Science 05.09.1997
СТ On Extra Variables in (Equational) Logic Programming 1995 Hanus M. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ Efficient Translation of Lazy Functional Logic Programs into Prolog 1996 Hanus M. Lecture Notes in Computer Science 30.03.1996
СТ On the Completeness of Residuation 1992 Hanus M. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 15.12.1994
СТ Mode Analysis of Functional Logic Programs 1994 Hanus M., Zartmann F. Lecture Notes in Computer Science 24.11.1994
СТ Combining Lazy Narrowing and Simplification 1994 Hanus M. Lecture Notes in Computer Science 13.10.1994
СТ Lazy Unification with Simplification 1994 Hanus M. Lecture Notes in Computer Science 13.05.1994
СТ Towards the Global Optimization of Functional Logic Programs 1994 Hanus M. Lecture Notes in Computer Science 27.04.1994
СТ A Debugging Model for Functional Logic Programs 1993 Hanus M., Josephs B. Lecture Notes in Computer Science 22.09.1993
СТ An Abstract Interpretation Algorithm for Residuating Logic Programs 1992 Hanus M. BIGRE 11.11.1992
СТ Improving Control of Logic Programs by Using Functional Logic Languages 1992 Hanus M. Lecture Notes in Computer Science 13.10.1992
СТ Horn clause programs with polymorphic types: semantics and resolution 1991 Hanus M. Theoretical Computer Science 28.11.1991
СТ Parametric Order-Sorted Types in Logic Programming 1991 Hanus M. Lecture Notes in Computer Science 21.05.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Functional and Constraint Logic Programming: Revised Selected Papers/28th International Workshop, WFLD 2020, Bologna, Italy, September 2020 2021 Lecture Notes in Computer Science
  1. Hanus M.
  2. Coen C. S.
 25.06.2021
СБ Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2017 Unifying INAP, WELP, and WLP, Wü rzburg, Germany, September 2017 2018 Lecture Notes in Artificial Intelligence
  1. Seipel D.
  2. Hanus M.
  3. Abreu S.
 27.11.2018
СБ Declarative Programming and Knowledge Management: Revised Selected Papers/ Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 2013 2014 Lecture Notes in Artificial Intelligence
  1. Hanus M.
  2. Rocha R.
 07.10.2014
СБ Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/17th Intl Conference, INAP 2007 & 21st Workshop on Logic Programming, WLP 2007. Wuerzburg, Germany, October 2007 2009 Lecture Notes in Artificial Intelligence
  1. Seipel D.
  2. Hanus M.
  3. Wolf A.
 24.07.2009
СБ Logic-Based Program Synthesis and Transformation: Revised Selected Papers/ 18th Intl Symposium, LOPSTR 2008. Valencia, Spain, July 2008 2009 Lecture Notes in Computer Science
  1. Hanus M.
 07.04.2009
СБ Practical Aspects of Declarative Languages: Proc./9th International Symposium, PADL 2007. Nice, France, January 2007 2007 Lecture Notes in Computer Science
  1. Hanus M.
 27.03.2007
СБ Applications of Declarative Programming and Knowledge Management: Selected Papers/15th International Conference INAP 2004, and 18th Workshop WLP 2004.Potsdam,Germany,March 2004 2005 Lecture Notes in Artificial Intelligence
  1. Seipel D.
  2. Hanus M.
  3. Geske U.
  4. Bartstein O.
 28.05.2005
СБ Algebraic and Logic Programming: Proc./6th Intern. Joint Conf., ALP 97 - HOA 97. Southampton, UK, September 1997 1997 Lecture Notes in Computer Science
  1. Hanus M.
  2. Heering J.
  3. Meinke K.
 11.09.1997
СБ Algebraic and Logic Programming: Proc./5th International Conference, ALP 96. Aachen,Germany,September 1996 1996 Lecture Notes in Computer Science
  1. Hanus M.
  2. Rodrigues-Artalejo M.
 05.11.1996