IEICE Trans

Keyword : term rewriting system

Static Dependency Pair Method in Functional Programs Keiichirou KUSAKARI
Publication: Publication Date: 2018/06/01 Vol. E101-D No. 6 ; pp. 1491-1502 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: functional program, term rewriting system, termination, recursive definition, static dependency pair method,
	Summary \| Full Text:PDF

The Unification Problem for Confluent Semi-Constructor TRSs Ichiro MITSUHASHI Michio OYAMAGUCHI Kunihiro MATSUURA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/11/01 Vol. E93-D No. 11 ; pp. 2962-2978 Type of Manuscript: PAPER Category: Fundamentals of Information Systems Keyword: term rewriting system, decision problem, unification, semi-constructor,
	Summary \| Full Text:PDF

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems Haruhiko SATO Masahito KURIHARA Sarah WINKLER Aart MIDDELDORP
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/02/01 Vol. E92-D No. 2 ; pp. 220-234 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science) Category: Keyword: equational theorem proving, term rewriting system, Knuth-Bendix completion, multi-completion, constraint-based multi-completion,
	Summary \| Full Text:PDF

On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems Michio OYAMAGUCHI Yoshikatsu OHTA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2004/02/01 Vol. E87-D No. 2 ; pp. 290-298 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science) Category: Keyword: church-rosser, term rewriting system, left-linear,
	Summary \| Full Text:PDF

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property Toshinori TAKAI Hiroyuki SEKI Youhei FUJINAKA Yuichi KAJI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/02/01 Vol. E86-D No. 2 ; pp. 285-295 Type of Manuscript: Special Section PAPER (Special Issue on Selected Papers from LA Symposium) Category: Term Rewriting Systems Keyword: term rewriting system, tree automaton, recognizability, recognizability preserving property, layered transducing TRS,
	Summary \| Full Text:PDF

On the Church-Rosser Property of Left-Linear Term Rewriting Systems Michio OYAMAGUCHI Yoshikatsu OHTA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/01/01 Vol. E86-D No. 1 ; pp. 131-135 Type of Manuscript: LETTER Category: Theory/Models of Computation Keyword: Church-Rosser, term rewriting system, left-linear,
	Summary \| Full Text:PDF

Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable Toshinori TAKAI Yuichi KAJI Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2002/03/01 Vol. E85-D No. 3 ; pp. 487-496 Type of Manuscript: PAPER Category: Theory/Models of Computation Keyword: term rewriting system, termination, tree automaton,
	Summary \| Full Text:PDF

High-Level Synthesis of Pipelined Circuits from Modular Queue-Based Specifications Maria-Cristina MARINESCU Martin RINARD
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-A No. 11 ; pp. 2655-2664 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: High Level Synthesis Keyword: asynchronous, modular, pipeline, term rewriting system,
	Summary \| Full Text:PDF

Conditional Linearization of Non-Duplicating Term Rewriting Systems Yoshihito TOYAMA Michio OYAMAGUCHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2001/04/01 Vol. E84-D No. 4 ; pp. 439-447 Type of Manuscript: PAPER Category: Theory/Models of Computation Keyword: term rewriting system, linearization, Church-Rosser, unique normal form, non-duplicating,
	Summary \| Full Text:PDF

A Formal Approach to Detecting Security Flaws in Object-Oriented Databases Toshiyuki MORITA Yasunori ISHIHARA Hiroyuki SEKI Minoru ITO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1999/01/25 Vol. E82-D No. 1 ; pp. 89-98 Type of Manuscript: Special Section PAPER (Special Issue on New Generation Database Technologies) Category: Theoretical Aspects Keyword: object-oriented database, authorization, security flaw, term rewriting system,
	Summary \| Full Text:PDF

An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems Munehiro IWAMI Masahiko SAKAI Yoshihito TOYAMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/09/25 Vol. E81-D No. 9 ; pp. 988-996 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: higher-order rewrite system, term rewriting system, termination, improved recursive decomposition ordering, pseudo-terminal occurrence, type, simplification ordering,
	Summary \| Full Text:PDF

Index Reduction of Overlapping Strongly Sequential Systems Takashi NAGAYA Masahiko SAKAI Yoshihito TOYAMA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/05/25 Vol. E81-D No. 5 ; pp. 419-426 Type of Manuscript: PAPER Category: Sofware System Keyword: term rewriting system, normalizing strategy, strong sequentiality, index reduction,
	Summary \| Full Text:PDF

Left-Incompatible Term Rewriting Systems and Functional Strategy Masahiko SAKAI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/12/25 Vol. E80-D No. 12 ; pp. 1176-1182 Type of Manuscript: PAPER Category: Software Theory Keyword: term rewriting system, normalizing strategy, lazy evaluation,
	Summary \| Full Text:PDF

Case Histories on Knowledge-Based Design Systems for LSI and Software Masanobu WATANABE Toru YAMANOUCHI Masahiko IWAMOTO Satoru FUJITA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1995/09/25 Vol. E78-D No. 9 ; pp. 1164-1170 Type of Manuscript: Special Section PAPER (Special Issue on Knowledge Based Software Engineering) Category: Applications Keyword: knowledge-based design systems, LSI circuit synthesis, software synthesis, intelligent control shell, term rewriting system, frame, production system,
	Summary \| Full Text:PDF

Decomposable Termination of Composable Term Rewriting Systems Masahito KURIHARA Azuma OHUCHI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1995/04/25 Vol. E78-D No. 4 ; pp. 314-320 Type of Manuscript: PAPER Category: Algorithm and Computational Complexity Keyword: term rewriting system, termination, modularity, algebraic specification, automated reasoning,
	Summary \| Full Text:PDF

A Verification Method via Invariant for Communication Protocols Modeled as Extended Communicating Finite-State Machines Masahiro HIGUCHI Osamu SHIRAKAWA Hiroyuki SEKI Mamoru FUJII Tadao KASAMI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1993/11/25 Vol. E76-B No. 11 ; pp. 1363-1372 Type of Manuscript: PAPER Category: Signaling System and Communication Protocol Keyword: integral register, unbounded communication channel, safety property, term rewriting system, OSI session protocol,
	Summary \| Full Text:PDF