Foundations of Software Science and Computational Structures
Springer, Berlin, Heidelberg
Chapter title |
A Simpler Proof Theory for Nominal Logic
|
---|---|
Chapter number | 24 |
Book title |
Foundations of Software Science and Computational Structures
|
Published in |
Lecture notes in computer science, January 2005
|
DOI | 10.1007/978-3-540-31982-5_24 |
Book ISBNs |
978-3-54-025388-4, 978-3-54-031982-5
|
Authors |
Cheney, James, James Cheney |
Country | Count | As % |
---|---|---|
Unknown | 9 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 2 | 22% |
Lecturer | 1 | 11% |
Student > Doctoral Student | 1 | 11% |
Student > Master | 1 | 11% |
Researcher | 1 | 11% |
Other | 1 | 11% |
Unknown | 2 | 22% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 6 | 67% |
Mathematics | 1 | 11% |
Unknown | 2 | 22% |