Author of the publication

A Term-Based Approach to Project Scheduling.

, and . Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 304-318. Springer, (2001)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus., , and . PPDP, page 4:1-4:15. ACM, (2022)A Term-Based Approach to Project Scheduling., and . Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 304-318. Springer, (2001)Nominal Unification with Letrec and Environment-Variables., and . LOPSTR, volume 12561 of Lecture Notes in Computer Science, page 95-112. Springer, (2020)Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi., , and . GI Jahrestagung, volume P-154 of LNI, page 2931-2945. GI, (2009)Nominal Algorithms: Applications and Extensions.. UNIF, page 2:1-2:6. (2020)A Note on Unification, Subsumption and Unification Type.. Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 562-572. Springer, (2019)Program equivalence in a typed probabilistic call-by-need functional language., and . J. Log. Algebraic Methods Program., (October 2023)Towards Fast Nominal Anti-unification of Letrec-Expressions., and . CADE, volume 14132 of Lecture Notes in Computer Science, page 456-473. Springer, (2023)Parameter Reduction in Grammar-Compressed Trees., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 212-226. Springer, (2009)Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version)., and . CoRR, (2021)