Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Hanus Michael Heftet / 2009 / Engelsk
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings Hanus Michael Heftet / 2006 / Engelsk
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers Hanus Michael Heftet / 2014 / Engelsk
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings Hanus Michael Heftet / 2023 / Engelsk
Functional and Logic Programming 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings Hanus Michael Heftet / 2022 / Engelsk
Algebraic and Logic Programming 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings Hanus Michael Heftet / 1996 / Engelsk
Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers Hanus Michael Heftet / 2021 / Engelsk
Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings Hanus Michael Heftet / 1997 / Engelsk
Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers Seipel Dietmar Heftet / 2009 / Engelsk
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 Seipel Dietmar Heftet / 2018 / Engelsk
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers Seipel Dietmar Heftet / 2005 / Engelsk
