Autor der Publikation

Semantics and Types in Functional Logic Programming.

, , und . Fuji International Symposium on Functional and Logic Programming, Volume 1722 von Lecture Notes in Computer Science, Seite 1-20. Springer, (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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