The Decidability of Simultaneous Rigid E-Unification with One Variable

Anatoli Degtyarev; Yuri Gurevich; Paliath Narendran; Margus Veanes; Andrei Voronkov; Tobias Nipkow

doi:10.1007/BFb0052370

The Decidability of Simultaneous Rigid E-Unification with One Variable

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov, Tobias Nipkow (Editor)

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

Original language	English
Title of host publication	RTA
Editors	Tobias Nipkow
Publisher	Springer Nature
Pages	181-195
Number of pages	15
Volume	1379
ISBN (Print)	3-540-64301-X
DOIs	https://doi.org/10.1007/BFb0052370
Publication status	Published - 1998
Event	Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/rta/rta98.html#DegtyarevGNVV98http://dblp.uni-trier.de/rec/bibtex/conf/rta/DegtyarevGNVV98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rta/DegtyarevGNVV98

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/rta/rta98.html#DegtyarevGNVV98http://dblp.uni-trier.de/rec/bibtex/conf/rta/DegtyarevGNVV98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rta/DegtyarevGNVV98

Access to Document

10.1007/BFb0052370

Cite this

@inproceedings{eb195144c4484b869c6758c5efe62086,

title = "The Decidability of Simultaneous Rigid E-Unification with One Variable",

author = "Anatoli Degtyarev and Yuri Gurevich and Paliath Narendran and Margus Veanes and Andrei Voronkov and Tobias Nipkow",

year = "1998",

doi = "10.1007/BFb0052370",

language = "English",

isbn = "3-540-64301-X",

volume = "1379",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "181--195",

editor = "Tobias Nipkow",

booktitle = "RTA",

address = "United States",

note = "Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/rta/rta98.html#DegtyarevGNVV98http://dblp.uni-trier.de/rec/bibtex/conf/rta/DegtyarevGNVV98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rta/DegtyarevGNVV98",

}

Degtyarev, A, Gurevich, Y, Narendran, P, Veanes, M, Voronkov, A & Nipkow, T (ed.) 1998, The Decidability of Simultaneous Rigid E-Unification with One Variable. in T Nipkow (ed.), RTA. vol. 1379, Lecture Notes in Computer Science, Springer Nature, pp. 181-195, Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings, 1/01/24. https://doi.org/10.1007/BFb0052370

TY - GEN

T1 - The Decidability of Simultaneous Rigid E-Unification with One Variable

AU - Degtyarev, Anatoli

AU - Gurevich, Yuri

AU - Narendran, Paliath

AU - Veanes, Margus

AU - Voronkov, Andrei

A2 - Nipkow, Tobias

PY - 1998

Y1 - 1998

U2 - 10.1007/BFb0052370

DO - 10.1007/BFb0052370

M3 - Conference contribution

SN - 3-540-64301-X

VL - 1379

T3 - Lecture Notes in Computer Science

SP - 181

EP - 195

BT - RTA

PB - Springer Nature

T2 - Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Y2 - 1 January 1824

ER -