( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020).

, и . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Michael Hanus

Josef Hanus

Anna Hanus

Ingrid Hanus

Daniel Hanus

 

Другие публикации лиц с тем же именем

Inferring Non-Failure Conditions for Declarative Programs.. CoRR, (2024)PACS: The Portland Aachen Curry System.. WLP, том 90 из GMD Report, стр. 219-221. (2000)TkCurry: A Declarative Approach to GUI Programming.. WLP, том 90 из GMD Report, стр. 149-160. (2000)Logic Programming with Type Specifications.. Types in Logic Programming, The MIT Press, (1992)A Deterministic Operational Semantics for Functional Logic Programs., , , , и . APPIA-GULP-PRODE, стр. 207-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Adding Data to Curry., и . DECLARE, том 12057 из Lecture Notes in Computer Science, стр. 230-246. Springer, (2019)Preface.. WFLP, том 64 из Electronic Notes in Theoretical Computer Science, стр. 308-309. Elsevier, (2001)Reporting Failures in Functional Logic Programs.. WFLP, том 177 из Electronic Notes in Theoretical Computer Science, стр. 59-73. Elsevier, (2006)A Monadic Implementation of Functional Logic Programs., , и . PPDP, стр. 1:1-1:15. ACM, (2022)Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)., и . CoRR, (2020)