MPG.eBooks - Author Search Results

Cover Image

1

Algebraic and Logic Programming : 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

by Hanus, Michael
Published 1996

Springer

Cover Image

2

Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

by Hanus, Michael
Published 1997

Springer Berlin Heidelberg

Cover Image

3

Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Hanus, Michael...”

Cover Image

4

Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Hanus, Michael...”

Cover Image

5

Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Published 2022

Springer International Publishing

Other Authors: “...Hanus, Michael...”

Cover Image

6

Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Pap...

Published 2014

Springer International Publishing

Other Authors: “...Hanus, Michael...”

Cover Image

7

Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Published 2023

Springer Nature Switzerland

Other Authors: “...Hanus, Michael...”

Cover Image

8

Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Hanus, Michael...”

Cover Image

9

Functional and Constraint Logic Programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Published 2021

Springer International Publishing

Other Authors: “...Hanus, Michael...”

Cover Image

10

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revi...

Published 2018

Springer International Publishing

Other Authors: “...Hanus, Michael...”

Cover Image

11

Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Hanus, Michael...”

Cover Image

12

Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, Oc...

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Hanus, Michael...”

Cover Image

13

Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and...

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Hanus, Michael...”