TY - GEN
T1 - Jeopardy
AU - Dershowitz, Nachum
AU - Mitra, Subrata
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.
PY - 1999
Y1 - 1999
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84957657203&partnerID=8YFLogxK
U2 - 10.1007/3-540-48685-2_2
DO - 10.1007/3-540-48685-2_2
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84957657203
SN - 3540662014
SN - 9783540662013
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 16
EP - 29
BT - Rewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings
A2 - Narendran, Paliath
A2 - Rusinowitch, Michael
PB - Springer Verlag
T2 - 10th International Conference on Rewriting Techniques and Applications, RTA 1999
Y2 - 2 July 1999 through 4 July 1999
ER -