Autor der Publikation

Algebraic Specifications as Solutions of Implementation Equations.

. IEEE Trans. Software Eng., 13 (12): 1364-1369 (1987)

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

Algebraic Specifications as Solutions of Implementation Equations.. IEEE Trans. Software Eng., 13 (12): 1364-1369 (1987)Applying the persistent set approach in temporal reasoning., und . Ann. Math. Artif. Intell., 14 (1): 75-98 (1995)Conceptual Spaces-The Geometry of Thought: A Review.. AI Magazine, 22 (1): 139-140 (2001)Algebraic Specifications and Transition Graphs.. Language Design and Programming Methodology, Volume 79 von Lecture Notes in Computer Science, Seite 129-142. Springer, (1979)Social Agents.. Australian Conference on Artificial Intelligence, Volume 4830 von Lecture Notes in Computer Science, Seite 14. Springer, (2007)A Trajectory Approach to Causality., , und . Australian Joint Conference on Artificial Intelligence, Volume 1747 von Lecture Notes in Computer Science, Seite 484-485. Springer, (1999)Towards Generalized Rule-based Updates., und . IJCAI (1), Seite 82-88. Morgan Kaufmann, (1997)Connections Between the ATMS and AGM Belief Revision., und . IJCAI, Seite 534-539. Morgan Kaufmann, (1993)Preferential Semantics for Causal Systems., , , , und . IJCAI, Seite 118-123. Morgan Kaufmann, (1999)Logical Foundations of Negotiation: Outcome, Concession, and Adaptation., , , und . AAAI, Seite 293-298. AAAI Press / The MIT Press, (2004)