( en | de | ru )

 

Disambiguierung von "Rutten, Jan J. M. M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Equations and Coequations for Weighted Automata.

, , und . MFCS (1), Volume 9234 von Lecture Notes in Computer Science, Seite 444-456. Springer, (2015)

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.

Marinus M Rutten

J J M Ramakers

J M Zöllner

Jan M Herrmann

Jan M Gerken

 

Weitere Publikationen von Autoren mit dem selben Namen

Nonwellfounded Sets and Programming Language Semantics.. MFPS, Volume 598 von Lecture Notes in Computer Science, Seite 193-206. Springer, (1991)Initial Algebra and Final Coalgebra Semantics for Concurrency., und . REX School/Symposium, Volume 803 von Lecture Notes in Computer Science, Seite 530-582. Springer, (1993)On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders., und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 477-530. Springer, (1992)Defining Context-Free Power Series Coalgebraically., , und . CMCS, Volume 7399 von Lecture Notes in Computer Science, Seite 20-39. Springer, (2012)Equations and Coequations for Weighted Automata., , und . MFCS (1), Volume 9234 von Lecture Notes in Computer Science, Seite 444-456. Springer, (2015)Processes as Terms: Non-Well-Founded Models for Bisimulation.. Math. Struct. Comput. Sci., 2 (3): 257-275 (1992)Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses., , , und . MFCS, Volume 379 von Lecture Notes in Computer Science, Seite 165-176. Springer, (1989)An Algebra for Kripke Polynomial Coalgebras., , und . LICS, Seite 49-58. IEEE Computer Society, (2009)Models and Temporal Logics for Timed Component Connectors., , , und . SEFM, Seite 198-207. IEEE Computer Society, (2004)Errata to "Formations of Monoids, Congruences, and Formal Languages"., , , und . Sci. Ann. Comput. Sci., 26 (1): 123-124 (2016)