On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems

Bibliographic Details
Main Authors:	SAKAI, Masahiko, KUSAKARI, Keiichirou
Language:	en
Published:	IEICE 2005
Subjects:	termination dependency pair higher-order rewite system dependency forest
Online Access:	http://hdl.handle.net/2237/9579

Similar Items

An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
by: SAKAI, Masahiko, et al.
Published: (2001)

Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Technique
by: SAKAI, Masahiko, et al.
Published: (2009)

On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair Technique
by: Sakai, Masahiko, et al.
Published: (2002)

Enhancing Dependency Pair Method using Strong Computability in Simply-Typed Term Rewriting
by: 草刈, 圭一朗, et al.
Published: (2007)

On New Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
by: Sakai, Masahiko, et al.
Published: (2001)

Higher-Order Path Orders Based on Computability
by: KUSAKARI, Keiichirou
Published: (2004)

An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
by: IWAMI, Munehiro, et al.
Published: (1998)

Generalized thermoelasticity based on higher-order memory-dependent derivative with time delay
by: Ahmed E. Abouelregal, et al.
Published: (2021-01-01)

Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting
by: KUSAKARI, Keiichirou, et al.
Published: (2005)

Pair copula constructions to determine the dependence structure of Treasury bond yields
by: Marcelo Brutti Righi, et al.
Published: (2015-12-01)

A Higher-Order Knuth-Bendix Procedure and Its Applications
by: CHIBA, Yuki, et al.
Published: (2007)

Investigations into long-standing problems in radical polymerization kinetics : chain-length-dependent termination rate coefficient and mode of termination.
by: Alghamdi, Majed Mohammed
Published: (2014)

Implementing Data-Dependent Triangulations with Higher Order Delaunay Triangulations
by: Natalia Rodríguez, et al.
Published: (2017-12-01)

Catalyst-Dependent Direct and Deoxygenative Coupling of Alcohols by Convergent Paired Electrolysis
by: Findlater, M., et al.
Published: (2022)

On Ordered Pairs of Cardinal Numbers
by: Dickinson, John Dean
Published: (1957)

Temperature-Fermion Number Correlations in Finite Paired Systems
by: Angelo Plastino, et al.
Published: (2020-11-01)

Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems
by: UCHIYAMA, Keita, et al.
Published: (2007)

Locality and Word Order in Active Dependency Formation in Bangla
by: Dustin Alfonso Chacón, et al.
Published: (2016-08-01)

Pair-Copula Constructions for Financial Applications: A Review
by: Kjersti Aas
Published: (2016-10-01)

K-Dependence Bayesian Classifier Ensemble
by: Zhiyi Duan, et al.
Published: (2017-11-01)

Higher-order graph rewriting systems
by: Machado, Rodrigo
Published: (2012)

Higher-order graph rewriting systems
by: Machado, Rodrigo
Published: (2012)

Higher-order graph rewriting systems
by: Machado, Rodrigo
Published: (2012)

RhoTermPredict: an algorithm for predicting Rho-dependent transcription terminators based on Escherichia coli, Bacillus subtilis and Salmonella enterica databases
by: Marco Di Salvo, et al.
Published: (2019-03-01)

Nonlinear second order evolution equations with state-dependent delays
by: László Simon
Published: (2012-05-01)

Synergistic Information Transfer in the Global System of Financial Markets
by: Tomas Scagliarini, et al.
Published: (2020-09-01)

Dependability of the information flow process at an intermodal transhipment point
by: Świeboda Justyna
Published: (2017-06-01)

A mathematical model for suspension bridges with energy dependent boundary conditions
by: Yongda Wang
Published: (2015-06-01)

Wind power forecasting errors modelling approach considering temporal and spatial dependence
by: Wei Hu, et al.
Published: (2017-01-01)

Dependable Wireless System with Shortened Code Using Distance Information between Integrated Terminals
by: Yasuharu Amezawa, et al.
Published: (2020-12-01)

Photoluminescence Revealed Higher Order Plasmonic Resonance Modes and Their Unexpected Frequency Blue Shifts in Silver-Coated Silica Nanoparticle Antennas
by: Atta Ur Rahman, et al.
Published: (2019-07-01)

COMPARATIVE STUDY OF THE EFFECTS OF DETONATION NANODIAMONDS WITH VARIED PROPERTIES ON FUNCTIONAL STATE OF BRAIN NERVE TERMINALS
by: M. A. Galkin, et al.
Published: (2016-12-01)

Automatically Proving the Termination of Functional Programs
by: Vroon, Daron
Published: (2008)

Development of the modified quasichemical model in the distinguishable-pair approximation for multiple compositions of short-range ordering
by: Wang, K.
Published: (2022)

Dependence Uncertainty Bounds for the Expectile of a Portfolio
by: Edgars Jakobsons, et al.
Published: (2015-12-01)

Confluence of Length Preserving String Rewriting Systems is Undecidable
by: WANG, Yi, et al.
Published: (2007)

Diverse effects of distance cutoff and residue interval on the performance of distance-dependent atom-pair potential in protein structure prediction
by: Yuangen Yao, et al.
Published: (2017-12-01)

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems
by: Zheng Yang, et al.
Published: (2018-01-01)

Dependence of eigenvalues of 2mth-order spectral problems
by: Zhaowen Zheng, et al.
Published: (2017-08-01)

DEPENDENT STANDARD OF HIGH EDUCATION AND THE BRAZILIAN UNIVERSITY CURRENT EXPANSION
by: José Renato Bez de Gregório, et al.
Published: (2014-06-01)