Search filters

List of works by Naoki Nishida

A theory of reversibility for Erlang

article

CauDEr: A Causal-Consistent Reversible Debugger for Erlang

article

Reversible computation in term rewriting

article

Rewriting induction for constrained inequalities

article by Takahiro Nagao & Naoki Nishida published April 2018 in Science of Computer Programming

Paulina is supported by:

About Paulina

Help