Hanus, Michael.

Overview

Works:	1 works in 4 publications in 1 languages

Titles

Algebraic and logic programming = 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / by: Hanus, Michael.; SpringerLink (Online service); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1997 :); Heering, Jan.; Meinke, Karl.; International Conference on Algebraic and Logic Programming (1997 :) (Language materials, printed)

Functional and constraint logic programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers / by: WFLP (Workshop) (2020 :); Hanus, Michael.; Sacerdoti Coen, Claudio.; SpringerLink (Online service) (Electronic resources)

Practical aspects of declarative languages = 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: PADL (Symposium) (2023 :); Hanus, Michael.; Inclezan, Daniela.; SpringerLink (Online service) (Electronic resources)

Applications of declarative programming and knowledge management = 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers/ by: Hanus, Michael.; Seipel, Dietmar.; Wolf, Armin.; SpringerLink (Online service); International Conference on Applications of Declarative Programming and Knowledge Management (2007 :) (Language materials, printed)

Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: Hanus, Michael.; SpringerLink (Online service); LOPSTR 2008 ((2008 :) (Language materials, printed)

Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings / by: International Symposium on Functional and Logic Programming (2022 :); Hanus, Michael.; Igarashi, Atsushi.; SpringerLink (Online service) (Electronic resources)

Subjects