Language: English
Help
Login
Languages
Covers
Jump To : Overview | Titles | Subjects

Hanus, Michael.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
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); Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by: Sacerdoti Coen, Claudio.; Hanus, Michael.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Declarative programming and knowledge management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers / by: Seipel, Dietmar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Abreu, Salvador.; SpringerLink (Online service); Hanus, Michael. (Language materials, printed)
Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / by: Hanus, Michael.; SpringerLink (Online service); Abreu, Salvador.; Seipel, Dietmar. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by: Igarashi, Atsushi.; SpringerLink (Online service); Hanus, Michael. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Igarashi, Atsushi.; Hanus, Michael.; SpringerLink (Online service) (Language materials, printed)
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: Workshop on the Preservation of Stability under Discretization ((2001 :); Seipel, Dietmar.; Wolf, Armin.; Hanus, Michael.; SpringerLink (Online service) (Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by: Sacerdoti Coen, Claudio.; Hanus, Michael.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login