Open problems in rewriting

Nachum Dershowitz; Jean Pierre Jouannaud; Jan Willem Klop

doi:10.1007/3-540-53904-2_120

Open problems in rewriting

Nachum Dershowitz, Jean Pierre Jouannaud, Jan Willem Klop

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

32 Scopus citations

Original language	English
Title of host publication	Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings
Editors	Ronald V. Book
Publisher	Springer Verlag
Pages	445-456
Number of pages	12
ISBN (Print)	9783540539049
DOIs	https://doi.org/10.1007/3-540-53904-2_120
State	Published - 1991
Externally published	Yes
Event	4th International Conference on Rewriting Techniques and Applications, RTA-1991 - Como, Italy Duration: 10 Apr 1991 → 12 Apr 1991

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	488 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Conference on Rewriting Techniques and Applications, RTA-1991
Country/Territory	Italy
City	Como
Period	10/04/91 → 12/04/91

Funding

Funders	Funder number
ESPRIT BRA
National Science Foundation	CCR-9007195

Access to Document

10.1007/3-540-53904-2_120

Cite this

Dershowitz, N., Jouannaud, J. P., & Klop, J. W. (1991). Open problems in rewriting. In R. V. Book (Ed.), Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings (pp. 445-456). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 488 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-53904-2_120

Dershowitz, Nachum ; Jouannaud, Jean Pierre ; Klop, Jan Willem. / Open problems in rewriting. Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings. editor / Ronald V. Book. Springer Verlag, 1991. pp. 445-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{664275cde1854de4aea4ea03886bd64f,

title = "Open problems in rewriting",

author = "Nachum Dershowitz and Jouannaud, \{Jean Pierre\} and Klop, \{Jan Willem\}",

note = "Funding Information: *Research supported in part by the National Science Foundationu nder Grant CCR-9007195. tResearch partially supported by ESPRIT BRA projects 3020: Integrationa nd 3074: Semagraph.; 4th International Conference on Rewriting Techniques and Applications, RTA-1991 ; Conference date: 10-04-1991 Through 12-04-1991",

year = "1991",

doi = "10.1007/3-540-53904-2\_120",

language = "אנגלית",

isbn = "9783540539049",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "445--456",

editor = "Book, \{Ronald V.\}",

booktitle = "Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings",

address = "גרמניה",

}

Dershowitz, N, Jouannaud, JP & Klop, JW 1991, Open problems in rewriting. in RV Book (ed.), Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 488 LNCS, Springer Verlag, pp. 445-456, 4th International Conference on Rewriting Techniques and Applications, RTA-1991, Como, Italy, 10/04/91. https://doi.org/10.1007/3-540-53904-2_120

Open problems in rewriting. / Dershowitz, Nachum; Jouannaud, Jean Pierre; Klop, Jan Willem.
Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings. ed. / Ronald V. Book. Springer Verlag, 1991. p. 445-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 488 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Open problems in rewriting

AU - Dershowitz, Nachum

AU - Jouannaud, Jean Pierre

AU - Klop, Jan Willem

N1 - Funding Information: *Research supported in part by the National Science Foundationu nder Grant CCR-9007195. tResearch partially supported by ESPRIT BRA projects 3020: Integrationa nd 3074: Semagraph.

PY - 1991

Y1 - 1991

UR - https://www.scopus.com/pages/publications/0011608642

U2 - 10.1007/3-540-53904-2_120

DO - 10.1007/3-540-53904-2_120

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0011608642

SN - 9783540539049

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 445

EP - 456

BT - Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings

A2 - Book, Ronald V.

PB - Springer Verlag

T2 - 4th International Conference on Rewriting Techniques and Applications, RTA-1991

Y2 - 10 April 1991 through 12 April 1991

ER -

Dershowitz N, Jouannaud JP, Klop JW. Open problems in rewriting. In Book RV, editor, Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings. Springer Verlag. 1991. p. 445-456. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-53904-2_120

Open problems in rewriting

Publication series

Conference

Funding

Access to Document

Other files and links

Cite this