You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
X Demographics
Mendeley readers
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 |
X Demographics
The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Geographical breakdown
Country | Count | As % |
---|---|---|
United Kingdom | 1 | 100% |
Demographic breakdown
Type | Count | As % |
---|---|---|
Members of the public | 1 | 100% |
Mendeley readers
The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 7 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Professor > Associate Professor | 2 | 29% |
Lecturer | 2 | 29% |
Librarian | 1 | 14% |
Other | 1 | 14% |
Unknown | 1 | 14% |
Readers by discipline | Count | As % |
---|---|---|
Arts and Humanities | 2 | 29% |
Mathematics | 1 | 14% |
Linguistics | 1 | 14% |
Nursing and Health Professions | 1 | 14% |
Computer Science | 1 | 14% |
Other | 0 | 0% |
Unknown | 1 | 14% |