Naoki Nishida

Nagoya University - Nagoya / Japan

Engineering & Technology / Computer Science

AD Scientific Index ID: 484005

名古屋大学

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Nagoya University

Naoki Nishida's MOST POPULAR ARTICLES

1-) CauDEr: a causal-consistent reversible debugger for Erlang International Symposium on Functional and Logic Programming, 247-263, 2018

2-) Term rewriting with logical constraints International Symposium on Frontiers of Combining Systems, 343-358, 2013

3-) A theory of reversibility for Erlang Journal of Logical and Algebraic Methods in Programming 100, 71-97, 2018

4-) Partial inversion of constructor term rewriting systems International Conference on Rewriting Techniques and Applications, 264-278, 2005

5-) Verifying procedural programs via constrained rewriting induction ACM Transactions on Computational Logic (TOCL) 18 (2), 1-50, 2017

ARTICLES

Add your articles