Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification

Andrei Voronkov

Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification

Andrei Voronkov

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

Original language	English
Title of host publication	Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings.
Editors	Michael A McRobbie, John K Slaney
Publisher	Springer Nature
Pages	32-46
Number of pages	15
Volume	1104
ISBN (Print)	3-540-61511-3
Publication status	Published - 1996
Event	Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/cade/cade96.html#Voronkov96http://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov96

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/cade/cade96.html#Voronkov96http://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov96

Access to Document

Cite this

Voronkov, A. (1996). Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. In M. A. McRobbie, & J. K. Slaney (Eds.), Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings. (Vol. 1104, pp. 32-46). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/cade/cade96.html#Voronkov96

Voronkov, Andrei. / Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings.. editor / Michael A McRobbie ; John K Slaney. Vol. 1104 Springer Nature, 1996. pp. 32-46 (Lecture Notes in Computer Science).

@inproceedings{69fed68d1eaa4d4cb51b0d13d67fc9c3,

title = "Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification",

author = "Andrei Voronkov",

year = "1996",

language = "English",

isbn = "3-540-61511-3",

volume = "1104",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "32--46",

editor = "McRobbie, {Michael A} and Slaney, {John K}",

booktitle = "Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings.",

address = "United States",

note = "Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/cade/cade96.html#Voronkov96http://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov96",

}

Voronkov, A 1996, Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. in MA McRobbie & JK Slaney (eds), Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings.. vol. 1104, Lecture Notes in Computer Science, Springer Nature, pp. 32-46, Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/cade/cade96.html#Voronkov96>

Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. / Voronkov, Andrei.
Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings.. ed. / Michael A McRobbie; John K Slaney. Vol. 1104 Springer Nature, 1996. p. 32-46 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification

AU - Voronkov, Andrei

PY - 1996

Y1 - 1996

M3 - Conference contribution

SN - 3-540-61511-3

VL - 1104

T3 - Lecture Notes in Computer Science

SP - 32

EP - 46

BT - Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings.

A2 - McRobbie, Michael A

A2 - Slaney, John K

PB - Springer Nature

T2 - Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings

Y2 - 1 January 1824

ER -

Voronkov A. Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. In McRobbie MA, Slaney JK, editors, Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings.. Vol. 1104. Springer Nature. 1996. p. 32-46. (Lecture Notes in Computer Science).