Author of the publication

An analysis of the equational properties of the well-founded fixed point.

, and . J. Log. Algebraic Methods Program., 86 (1): 308-318 (2017)

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

A Representation Theorem for Stratified Complete Lattices.. TbiLLC, volume 10148 of Lecture Notes in Computer Science, page 263-289. Springer, (2015)On functional tree transducers.. FCT, page 121-127. Akademie-Verlag, Berlin, (1979)Equational Properties of Stratified Least Fixed Points (Extended Abstract).. WoLLIC, volume 9160 of Lecture Notes in Computer Science, page 174-188. Springer, (2015)Operational Characterization of Scattered MCFLs., and . Developments in Language Theory, volume 7907 of Lecture Notes in Computer Science, page 215-226. Springer, (2013)Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract., and . LATIN, volume 1776 of Lecture Notes in Computer Science, page 367-376. Springer, (2000)Free Shuffle Algebras in Language Varieties (Extended Abstract)., and . LATIN, volume 911 of Lecture Notes in Computer Science, page 99-111. Springer, (1995)Hausdorff Rank of Scattered Context-Free Linear Orders., and . LATIN, volume 7256 of Lecture Notes in Computer Science, page 291-302. Springer, (2012)Some Quasi-Varieties of Iteration Theories., and . MFPS, volume 802 of Lecture Notes in Computer Science, page 378-409. Springer, (1993)Iteration Algebras (Extended Abstract)., and . TAPSOFT, Vol.1, volume 493 of Lecture Notes in Computer Science, page 264-274. Springer, (1991)Axiomatizing the Least Fixed Point Operation and Binary Supremum.. CSL, volume 1862 of Lecture Notes in Computer Science, page 302-316. Springer, (2000)