Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof

Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof

Bibliographic Details
Main Authors: Nishida, Naoki, Sakai, Masahiko, Sakabe, Toshiki
Language:en
Published: 2003
Online Access:http://hdl.handle.net/2237/9247
id ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-9247
record_format oai_dc
spelling ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-92472013-01-07T23:51:59ZNarrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination ProofNishida, NaokiSakai, MasahikoSakabe, Toshiki2003-06Article(publisher)http://hdl.handle.net/2237/924712th International Workshop on Functional and (Constraint) Logic Programming. 2003, p.198-211en
collection NDLTD
language en
sources NDLTD
author Nishida, Naoki
Sakai, Masahiko
Sakabe, Toshiki
spellingShingle Nishida, Naoki
Sakai, Masahiko
Sakabe, Toshiki
Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
author_facet Nishida, Naoki
Sakai, Masahiko
Sakabe, Toshiki
author_sort Nishida, Naoki
title Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
title_short Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
title_full Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
title_fullStr Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
title_full_unstemmed Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
title_sort narrowing-based simulation of term rewriting systems with extra variables and its termination proof
publishDate 2003
url http://hdl.handle.net/2237/9247
work_keys_str_mv AT nishidanaoki narrowingbasedsimulationoftermrewritingsystemswithextravariablesanditsterminationproof
AT sakaimasahiko narrowingbasedsimulationoftermrewritingsystemswithextravariablesanditsterminationproof
AT sakabetoshiki narrowingbasedsimulationoftermrewritingsystemswithextravariablesanditsterminationproof
_version_ 1716494986664476672

Similar Items