Naoki Nishida
Naoki Nishida
Graduate School of Information Science, Nagoya University
E-mail confirmado em is.nagoya-u.ac.jp
TítuloCitado porAno
Partial inversion of constructor term rewriting systems
N Nishida, M Sakai, T Sakabe
International Conference on Rewriting Techniques and Applications, 264-278, 2005
492005
Term rewriting with logical constraints
C Kop, N Nishida
International Symposium on Frontiers of Combining Systems, 343-358, 2013
282013
Narrowing-based simulation of term rewriting systems with extra variables and its termination proof
N Nishida, M Sakai, T Sakabe
Electronic Notes in Theoretical Computer Science 86 (3), 1-18, 2003
242003
対数変換 CCD ラインセンサ
高田謙二, 石田耕一, 中村里之, 草鹿泰, 岩本剛志, 野村慶一, 鮫島幸一, ...
テレビジョン学会誌 49 (2), 169-175, 1995
241995
Termination of narrowing via termination of rewriting
N Nishida, G Vidal
Applicable Algebra in Engineering, Communication and Computing 21 (3), 177-225, 2010
212010
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
N Nishida, M Sakai, T Sakabe
Proceedings of the 22nd International Conference on Rewriting Techniques and …, 2011
20*2011
Approach to procedural-program verification based on implicit induction of constrained term rewriting systems
Y Furuichi, N Nishida, M Sakai, K Kusakari, T Sakabe
IPSJ Transactions on Programming 1 (2), 100-121, 2008
192008
CauDEr: a causal-consistent reversible debugger for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
International Symposium on Functional and Logic Programming, 247-263, 2018
182018
Generation of inverse term rewriting systems for pure treeless functions
N Nishida, M Sakai, T Sakabe
Proceedings of the International Workshop on Rewriting in Proof and …, 2001
182001
Generation of inverse term rewriting systems for pure treeless functions
N Nishida, M Sakai, T Sakabe
Proceedings of the International Workshop on Rewriting in Proof and …, 2001
182001
Constrained term rewriting tool
C Kop, N Nishida
Logic for Programming, Artificial Intelligence, and Reasoning, 549-557, 2015
172015
Automatic constrained rewriting induction towards verifying procedural programs
C Kop, N Nishida
Asian Symposium on Programming Languages and Systems, 334-353, 2014
172014
Reforma, interiorismo y diseno de mobiliario para una vivienda antigua
PC Marchante
Ph. D. dissertation, 2011
17*2011
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs
T Sakata, N Nishida, T Sakabe
the 20th International Workshop on Functional and (Constraint) Logic …, 2011
172011
Confluence competition 2015
T Aoto, N Hirokawa, J Nagele, N Nishida, H Zankl
International Conference on Automated Deduction, 101-104, 2015
162015
Proving confluence of conditional term rewriting systems via unravelings
K Gmeiner, N Nishida, B Gramlich
Proc. IWC, 35-39, 2013
162013
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
N Nishida, M Sakai, T Sakabe
Logical Methods in Computer Science 8 (3), 1-49, 2012
162012
Program inversion for tail recursive functions
N Nishida, G Vidal
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
162011
Rewriting induction for constrained term rewriting systems
T Sakata, N Nishida, T Sakabe, M Sakai, K Kusakari
IPSJ Transactions on Programming 2 (2), 80-96, 2009
162009
Verifying procedural programs via constrained rewriting induction
C Fuhs, C Kop, N Nishida
ACM Transactions on Computational Logic (TOCL) 18 (2), 1-50, 2017
152017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20