Equality Elimination for the Tableau Method

Anatoli Degtyarev; Andrei Voronkov; Jacques Calmet; Carla Limongelli

Equality Elimination for the Tableau Method

Anatoli Degtyarev, Andrei Voronkov, Jacques Calmet (Editor), Carla Limongelli (Editor)

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

Original language	English
Title of host publication	DISCO
Editors	Jacques Calmet, Carla Limongelli
Publisher	Springer Nature
Pages	46-60
Number of pages	15
Volume	1128
ISBN (Print)	3-540-61697-7
Publication status	Published - 1996
Event	Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/disco/disco1996.html#DegtyarevV96http://dblp.uni-trier.de/rec/bibtex/conf/disco/DegtyarevV96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/disco/DegtyarevV96

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/disco/disco1996.html#DegtyarevV96http://dblp.uni-trier.de/rec/bibtex/conf/disco/DegtyarevV96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/disco/DegtyarevV96

Access to Document

Cite this

@inproceedings{07f1cba4b05f4b7caadd303c47fce8c4,

title = "Equality Elimination for the Tableau Method",

author = "Anatoli Degtyarev and Andrei Voronkov and Jacques Calmet and Carla Limongelli",

year = "1996",

language = "English",

isbn = "3-540-61697-7",

volume = "1128",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "46--60",

editor = "Jacques Calmet and Carla Limongelli",

booktitle = "DISCO",

address = "United States",

note = "Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/disco/disco1996.html#DegtyarevV96http://dblp.uni-trier.de/rec/bibtex/conf/disco/DegtyarevV96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/disco/DegtyarevV96",

}

Degtyarev, A, Voronkov, A, Calmet, J (ed.) & Limongelli, C (ed.) 1996, Equality Elimination for the Tableau Method. in J Calmet & C Limongelli (eds), DISCO. vol. 1128, Lecture Notes in Computer Science, Springer Nature, pp. 46-60, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/disco/disco1996.html#DegtyarevV96>

TY - GEN

T1 - Equality Elimination for the Tableau Method

AU - Degtyarev, Anatoli

AU - Voronkov, Andrei

A2 - Calmet, Jacques

A2 - Limongelli, Carla

A2 - Calmet, Jacques

A2 - Limongelli, Carla

PY - 1996

Y1 - 1996

M3 - Conference contribution

SN - 3-540-61697-7

VL - 1128

T3 - Lecture Notes in Computer Science

SP - 46

EP - 60

BT - DISCO

PB - Springer Nature

T2 - Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings

Y2 - 1 January 1824

ER -