Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction

Andrei Voronkov; Pierangelo Miglioli; Ugo Moscato; Daniele Mundici; Mario Ornaghi

Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction

Andrei Voronkov, Pierangelo Miglioli (Editor), Ugo Moscato (Editor), Daniele Mundici (Editor), Mario Ornaghi (Editor)

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

Original language	English
Title of host publication	TABLEAUX
Editors	Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Publisher	Springer Nature
Pages	312-329
Number of pages	18
Volume	1071
ISBN (Print)	3-540-61208-4
Publication status	Published - 1996
Event	Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/tableaux/tableaux96.html#Voronkov96http://dblp.uni-trier.de/rec/bibtex/conf/tableaux/Voronkov96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tableaux/Voronkov96

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/tableaux/tableaux96.html#Voronkov96http://dblp.uni-trier.de/rec/bibtex/conf/tableaux/Voronkov96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tableaux/Voronkov96

Access to Document

Cite this

Voronkov, A., Miglioli, P. (Ed.), Moscato, U. (Ed.), Mundici, D. (Ed.), & Ornaghi, M. (Ed.) (1996). Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. In P. Miglioli, U. Moscato, D. Mundici, & M. Ornaghi (Eds.), TABLEAUX (Vol. 1071, pp. 312-329). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/tableaux/tableaux96.html#Voronkov96

@inproceedings{b6035b5bd33a43c594b8cac4dd992ff3,

title = "Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction",

author = "Andrei Voronkov and Pierangelo Miglioli and Ugo Moscato and Daniele Mundici and Mario Ornaghi",

year = "1996",

language = "English",

isbn = "3-540-61208-4",

volume = "1071",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "312--329",

editor = "Pierangelo Miglioli and Ugo Moscato and Daniele Mundici and Mario Ornaghi",

booktitle = "TABLEAUX",

address = "United States",

note = "Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings ; Conference date: 01-01-1824",

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

}

Voronkov, A, Miglioli, P (ed.), Moscato, U (ed.), Mundici, D (ed.) & Ornaghi, M (ed.) 1996, Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. in P Miglioli, U Moscato, D Mundici & M Ornaghi (eds), TABLEAUX. vol. 1071, Lecture Notes in Computer Science, Springer Nature, pp. 312-329, Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/tableaux/tableaux96.html#Voronkov96>

Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. / Voronkov, Andrei; Miglioli, Pierangelo (Editor); Moscato, Ugo (Editor) et al.
TABLEAUX. ed. / Pierangelo Miglioli; Ugo Moscato; Daniele Mundici; Mario Ornaghi. Vol. 1071 Springer Nature, 1996. p. 312-329 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction

AU - Voronkov, Andrei

A2 - Miglioli, Pierangelo

A2 - Moscato, Ugo

A2 - Mundici, Daniele

A2 - Ornaghi, Mario

A2 - Miglioli, Pierangelo

A2 - Moscato, Ugo

A2 - Mundici, Daniele

A2 - Ornaghi, Mario

PY - 1996

Y1 - 1996

M3 - Conference contribution

SN - 3-540-61208-4

VL - 1071

T3 - Lecture Notes in Computer Science

SP - 312

EP - 329

BT - TABLEAUX

PB - Springer Nature

T2 - Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings

Y2 - 1 January 1824

ER -