Author of the publication

Denotational Versus Declarative Semantics for Functional Programming.

, , and . CSL, volume 626 of Lecture Notes in Computer Science, page 134-148. Springer, (1991)

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

Definition of Process Models for Agent-Based Development., , and . AOSE, volume 5386 of Lecture Notes in Computer Science, page 60-73. Springer, (2008)A technique fordefining agent-oriented engineering processes with tool support., , , and . Eng. Appl. Artif. Intell., 23 (3): 432-444 (2010)Modeling serious games using AOSE methodologies., , , and . ISDA, page 53-58. IEEE, (2011)A Correctness Proof for Warren's HO into FO Translation.. GULP, page 569-584. (1993)INGENIAS-SCRUM Development Process for Multi-Agent Development., , , and . DCAI, volume 50 of Advances in Soft Computing, page 108-117. Springer, (2008)Design of Multiagent System Architecture., and . COMPSAC, page 565-568. IEEE Computer Society, (2008)V-MAS: A Video Conference Multiagent System., , , and . PAAMS, volume 55 of Advances in Intelligent and Soft Computing, page 284-292. Springer, (2009)INGENIAS with the Unified Development Process., , , and . Handbook on Agent-Oriented Design Processes, Springer, (2014)Application of a Modeling Standard Language on the Definition of Agent Oriented Development Processes., and . PAAMS (Special Sessions and Workshops), volume 71 of Advances in Intelligent and Soft Computing, page 363-370. Springer, (2010)A Higher Order Rewriting Logic for Functional Logic Programming., , and . ICLP, page 153-167. MIT Press, (1997)