Computer Science Logic
Springer Science & Business Media
Chapter title |
Modal Logic and the Two-Variable Fragment
|
---|---|
Chapter number | 18 |
Book title |
Computer Science Logic
|
Published by |
Springer, Berlin, Heidelberg, September 2001
|
DOI | 10.1007/3-540-44802-0_18 |
Book ISBNs |
978-3-54-042554-0, 978-3-54-044802-0
|
Authors |
Carsten Lutz, Ulrike Sattler, Frank Wolter, Lutz, Carsten, Sattler, Ulrike, Wolter, Frank |
Country | Count | As % |
---|---|---|
Japan | 1 | 8% |
Unknown | 11 | 92% |
Readers by professional status | Count | As % |
---|---|---|
Researcher | 5 | 42% |
Student > Ph. D. Student | 3 | 25% |
Professor > Associate Professor | 2 | 17% |
Student > Master | 1 | 8% |
Professor | 1 | 8% |
Other | 0 | 0% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 7 | 58% |
Engineering | 2 | 17% |
Psychology | 1 | 8% |
Arts and Humanities | 1 | 8% |
Unknown | 1 | 8% |