( en | de | ru )

 

Disambiguation of "Hamana, Makoto"

Author of the publication

copydeleteadd this publication to your clipboard
The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics.

, , and . CoRR, (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.

Makoto Yamamoto

Makoto Nakamura

Makoto Arai

Makoto Ida

Makoto Kobayashi

 

Other publications of authors with the same name

Universal Algebra for Termination of Higher-Order Rewriting.. RTA, volume 3467 of Lecture Notes in Computer Science, page 135-149. Springer, (2005)Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language.. J. Funct. Log. Program., (1997)Bidirectionalization transformation based on automatic derivation of view complement functions., , , , and . ICFP, page 47-58. ACM, (2007)Iteration Algebras for UnQL Graphs and Completeness for Bisimulation.. FICS, volume 191 of EPTCS, page 75-89. (2015)Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell.. FLOPS, volume 7294 of Lecture Notes in Computer Science, page 136-150. Springer, (2012)Higher-order semantic labelling for inductive datatype systems.. PPDP, page 97-108. ACM, (2007)Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories.. Logical Methods in Computer Science, (2017)An initial algebra approach to term rewriting systems with variable binders.. High. Order Symb. Comput., 19 (2-3): 231-262 (2006)The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics., , and . Math. Struct. Comput. Sci., 28 (2): 287-337 (2018)The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics., , and . CoRR, (2015)