A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees

Evgeny Dantsin; Andrei Voronkov; Wolfgang Thomas

A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees

Evgeny Dantsin, Andrei Voronkov, Wolfgang Thomas (Editor)

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

Original language	English
Title of host publication	FoSSaCS
Editors	Wolfgang Thomas
Publisher	Springer Nature
Pages	180-196
Number of pages	17
Volume	1578
ISBN (Print)	3-540-65719-3
Publication status	Published - 1999
Event	Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/fossacs/fossacs1999.html#DantsinV99http://dblp.uni-trier.de/rec/bibtex/conf/fossacs/DantsinV99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fossacs/DantsinV99

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/fossacs/fossacs1999.html#DantsinV99http://dblp.uni-trier.de/rec/bibtex/conf/fossacs/DantsinV99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fossacs/DantsinV99

Access to Document

Cite this

@inproceedings{44428b3b3bd0485f8bae689cdc4be896,

title = "A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees",

author = "Evgeny Dantsin and Andrei Voronkov and Wolfgang Thomas",

year = "1999",

language = "English",

isbn = "3-540-65719-3",

volume = "1578",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "180--196",

editor = "Wolfgang Thomas",

booktitle = "FoSSaCS",

address = "United States",

note = "Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/fossacs/fossacs1999.html#DantsinV99http://dblp.uni-trier.de/rec/bibtex/conf/fossacs/DantsinV99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fossacs/DantsinV99",

}

Dantsin, E, Voronkov, A & Thomas, W (ed.) 1999, A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. in W Thomas (ed.), FoSSaCS. vol. 1578, Lecture Notes in Computer Science, Springer Nature, pp. 180-196, Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/fossacs/fossacs1999.html#DantsinV99>

TY - GEN

T1 - A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees

AU - Dantsin, Evgeny

AU - Voronkov, Andrei

A2 - Thomas, Wolfgang

PY - 1999

Y1 - 1999

M3 - Conference contribution

SN - 3-540-65719-3

VL - 1578

T3 - Lecture Notes in Computer Science

SP - 180

EP - 196

BT - FoSSaCS

PB - Springer Nature

T2 - Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

Y2 - 1 January 1824

ER -