Reasoning about proof search specifications: An abstract

Dale Miller

doi:10.1007/10930755_13

Reasoning about proof search specifications: An abstract

Dale Miller

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

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	David Basin, Burkhart Wolff
Publisher	Springer Verlag
Pages	204
Number of pages	1
ISBN (Electronic)	3540406646, 9783540406648
DOIs	https://doi.org/10.1007/10930755_13
Publication status	Published - 1 Jan 2003
Event	16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003 - Rome, Italy Duration: 8 Sept 2003 → 12 Sept 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2758
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003
Country/Territory	Italy
City	Rome
Period	8/09/03 → 12/09/03

Access to Document

10.1007/10930755_13

Cite this

Miller, D. (2003). Reasoning about proof search specifications: An abstract. In D. Basin, & B. Wolff (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 204). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2758). Springer Verlag. https://doi.org/10.1007/10930755_13

Miller, Dale. / Reasoning about proof search specifications : An abstract. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / David Basin ; Burkhart Wolff. Springer Verlag, 2003. pp. 204 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{488b33d6f552492d8b7f856f4609197f,

title = "Reasoning about proof search specifications: An abstract",

author = "Dale Miller",

year = "2003",

month = jan,

day = "1",

doi = "10.1007/10930755\_13",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "204",

editor = "David Basin and Burkhart Wolff",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

note = "16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003 ; Conference date: 08-09-2003 Through 12-09-2003",

}

Miller, D 2003, Reasoning about proof search specifications: An abstract. in D Basin & B Wolff (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2758, Springer Verlag, pp. 204, 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, Rome, Italy, 8/09/03. https://doi.org/10.1007/10930755_13

Reasoning about proof search specifications: An abstract. / Miller, Dale.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / David Basin; Burkhart Wolff. Springer Verlag, 2003. p. 204 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2758).

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

TY - GEN

T1 - Reasoning about proof search specifications

T2 - 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003

AU - Miller, Dale

PY - 2003/1/1

Y1 - 2003/1/1

U2 - 10.1007/10930755_13

DO - 10.1007/10930755_13

M3 - Conference contribution

AN - SCOPUS:84937434173

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 204

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Basin, David

A2 - Wolff, Burkhart

PB - Springer Verlag

Y2 - 8 September 2003 through 12 September 2003

ER -

Miller D. Reasoning about proof search specifications: An abstract. In Basin D, Wolff B, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 204. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/10930755_13