( en | de | ru )

 

Disambiguation of "Rutten, Jan J. M. M."

Author of the publication

copydeleteadd this publication to your clipboard
Formations of Monoids, Congruences, and Formal Languages.

, , , and . Sci. Ann. Comput. Sci., 25 (2): 171-209 (2015)

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.

Marinus M Rutten

J J M Ramakers

J M Zöllner

Jan M Herrmann

Jan M Gerken

 

Other publications of authors with the same name

Equations and Coequations for Weighted Automata., , and . MFCS (1), volume 9234 of Lecture Notes in Computer Science, page 444-456. Springer, (2015)Defining Context-Free Power Series Coalgebraically., , and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 20-39. Springer, (2012)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., , , and . MFCS, volume 379 of Lecture Notes in Computer Science, page 165-176. Springer, (1989)An Algebra for Kripke Polynomial Coalgebras., , and . LICS, page 49-58. IEEE Computer Society, (2009)Models and Temporal Logics for Timed Component Connectors., , , and . SEFM, page 198-207. IEEE Computer Society, (2004)Errata to "Formations of Monoids, Congruences, and Formal Languages"., , , and . Sci. Ann. Comput. Sci., 26 (1): 123-124 (2016)Initial Algebra and Final Coalgebra Semantics for Concurrency., and . REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 530-582. Springer, (1993)On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders., and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 477-530. Springer, (1992)Nonwellfounded Sets and Programming Language Semantics.. MFPS, volume 598 of Lecture Notes in Computer Science, page 193-206. Springer, (1991)