Convergent Term Rewriting Systems for Inverse Computation of Injective Functions

Convergent Term Rewriting Systems for Inverse Computation of Injective Functions

Bibliographic Details
Main Authors: Nishida, Naoki, Sakai, Masahiko, Kato, Terutoshi
Language:en
Published: 2007
Online Access:http://hdl.handle.net/2237/9239
id ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-9239
record_format oai_dc
spelling ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-92392013-01-07T23:51:59ZConvergent Term Rewriting Systems for Inverse Computation of Injective FunctionsNishida, NaokiSakai, MasahikoKato, Terutoshi2007-06Article(publisher)http://hdl.handle.net/2237/9239Proc. of the 9th International Workshop on Termination. 2007, p.77-81en
collection NDLTD
language en
sources NDLTD
author Nishida, Naoki
Sakai, Masahiko
Kato, Terutoshi
spellingShingle Nishida, Naoki
Sakai, Masahiko
Kato, Terutoshi
Convergent Term Rewriting Systems for Inverse Computation of Injective Functions
author_facet Nishida, Naoki
Sakai, Masahiko
Kato, Terutoshi
author_sort Nishida, Naoki
title Convergent Term Rewriting Systems for Inverse Computation of Injective Functions
title_short Convergent Term Rewriting Systems for Inverse Computation of Injective Functions
title_full Convergent Term Rewriting Systems for Inverse Computation of Injective Functions
title_fullStr Convergent Term Rewriting Systems for Inverse Computation of Injective Functions
title_full_unstemmed Convergent Term Rewriting Systems for Inverse Computation of Injective Functions
title_sort convergent term rewriting systems for inverse computation of injective functions
publishDate 2007
url http://hdl.handle.net/2237/9239
work_keys_str_mv AT nishidanaoki convergenttermrewritingsystemsforinversecomputationofinjectivefunctions
AT sakaimasahiko convergenttermrewritingsystemsforinversecomputationofinjectivefunctions
AT katoterutoshi convergenttermrewritingsystemsforinversecomputationofinjectivefunctions
_version_ 1716494985003532288

Similar Items