Author of the publication

Product Rules and Distributive Laws.

. CMCS, volume 9608 of Lecture Notes in Computer Science, page 114-135. Springer, (2016)

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

Product Rules and Distributive Laws.. CMCS, volume 9608 of Lecture Notes in Computer Science, page 114-135. Springer, (2016)A Final Coalgebra for k-regular Sequences., , , and . Horizons of the Mind, volume 8464 of Lecture Notes in Computer Science, page 363-383. Springer, (2014)QStream: A Suite of Streams.. CALCO, volume 8089 of Lecture Notes in Computer Science, page 353-358. Springer, (2013)Is P = PSPACE for Infinite Time Turing Machines?. ILC, volume 5489 of Lecture Notes in Computer Science, page 126-137. Springer, (2007)Defining Context-Free Power Series Coalgebraically., , and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 20-39. Springer, (2012)A modal logic for abstract delta modeling., , and . SPLC (2), page 45-52. ACM, (2012)A Completeness Result for Finite λ-bisimulations.. FoSSaCS, volume 9034 of Lecture Notes in Computer Science, page 117-132. Springer, (2015)Context-Free Languages, Coalgebraically., , and . CALCO, volume 6859 of Lecture Notes in Computer Science, page 359-376. Springer, (2011)A Two-Dimensional Weighting Function for a Driver Assistance System., , , , and . IEEE Trans. Syst. Man Cybern. Part B, 38 (1): 189-195 (2008)Ipsilateral and contralateral warnings: effects on decision-making and eye movements in near-collision scenarios., , and . J. Multimodal User Interfaces, 16 (3): 303-317 (2022)