Hanus, Michael.

Overview

Works:	5 works in 5 publications in 1 languages

Titles

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

Logic-based program synthesis and transformation18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: (1998 :); Hanus, Michael.; SpringerLink (Online service) (Electronic resources)

Algebraic and logic programming6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / by: (1998 :); Hanus, Michael.; Heering, Jan.; Meinke, Karl.; SpringerLink (Online service) (Electronic resources)

Functional and logic programming16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings / by: (1998 :); Hanus, Michael.; Igarashi, Atsushi.; SpringerLink (Online service) (Electronic resources)

Declarative programming and knowledge managementConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers / by: (1998 :); Abreu, Salvador.; Hanus, Michael.; Seipel, Dietmar.; SpringerLink (Online service) (Electronic resources)

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

Declarative programming and knowledge managementDeclarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / by: (1998 :); Hanus, Michael.; Rocha, Ricardo.; SpringerLink (Online service) (Electronic resources)

Subjects