Automated Reasoning
Springer International Publishing
Chapter title |
Politeness for the Theory of Algebraic Datatypes
|
---|---|
Chapter number | 14 |
Book title |
Automated Reasoning
|
Published in |
Automated Reasoning, June 2020
|
DOI | 10.1007/978-3-030-51074-9_14 |
Book ISBNs |
978-3-03-051073-2, 978-3-03-051074-9
|
Authors |
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett, Sheng Y, Zohar Y, Ringeissen C, Lange J, Fontaine P, Barrett C, Sheng, Ying, Zohar, Yoni, Ringeissen, Christophe, Lange, Jane, Fontaine, Pascal, Barrett, Clark |
Country | Count | As % |
---|---|---|
United Kingdom | 1 | 100% |
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Country | Count | As % |
---|---|---|
Unknown | 8 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Professor > Associate Professor | 2 | 25% |
Lecturer | 2 | 25% |
Librarian | 1 | 13% |
Other | 1 | 13% |
Unknown | 2 | 25% |
Readers by discipline | Count | As % |
---|---|---|
Arts and Humanities | 2 | 25% |
Mathematics | 1 | 13% |
Linguistics | 1 | 13% |
Nursing and Health Professions | 1 | 13% |
Computer Science | 1 | 13% |
Other | 0 | 0% |
Unknown | 2 | 25% |