Alimujiang Yasen

According to our database, Alimujiang Yasen authored at least 4 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting.

Alimujiang Yasen, Kazunori Ueda

IEEE Access, 2021

2018

Name Binding is Easy with Hypergraphs.

Alimujiang Yasen, Kazunori Ueda

IEICE Trans. Inf. Syst., 2018

2017

Unification of Hypergraph \lambda -Terms.

Alimujiang Yasen, Kazunori Ueda

Proceedings of the Topics in Theoretical Computer Science, 2017

2016

Hypergraph Representation of Lambda-Terms.

Alimujiang Yasen, Kazunori Ueda

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016