Jeopardy

Nachum Dershowitz, Subrata Mitra

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Scopus citations

Abstract

We consider functions defined by ground-convergent leftlinear rewrite systems. By restricting the depth of left sides and disallowing defined symbols at the top of right sides, we obtain an algorithm for function inversion.

Original languageEnglish
Title of host publicationRewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings
EditorsPaliath Narendran, Michael Rusinowitch
PublisherSpringer Verlag
Pages16-29
Number of pages14
ISBN (Print)3540662014, 9783540662013
DOIs
StatePublished - 1999
Event10th International Conference on Rewriting Techniques and Applications, RTA 1999 - Trento, Italy
Duration: 2 Jul 19994 Jul 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1631
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Conference on Rewriting Techniques and Applications, RTA 1999
Country/TerritoryItaly
CityTrento
Period2/07/994/07/99

Fingerprint

Dive into the research topics of 'Jeopardy'. Together they form a unique fingerprint.

Cite this