Start Over
You searched for: author Hanus, Michael.

Search Results

Cover image for Logic-based program synthesis and transformation

Logic-based program synthesis and transformation

Location
Access Content Online
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

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

Location
Access Content Online
Cover image for Functional and Logic Programming 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

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

Location
Access Content Online
Cover image for Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

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

Location
Access Content Online
Cover image for Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

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

Location
Access Content Online
Cover image for Practical aspects of declarative languages

Practical aspects of declarative languages

Location
Access Content Online
Cover image for Algebraic and logic programming

Algebraic and logic programming

Location Call # Status
Joyner - General Stacks QA76.63 .A36 1996 ✔ Available
Cover image for 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

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

Location
Access Content Online
Cover image for Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Location
Access Content Online
Cover image for Algebraic and logic programming

Algebraic and logic programming

  • 1996
  • Format: Electronic
Location
Access Content Online