Relative Complexities of First Order Calculi
Vieweg+Teubner Verlag
Chapter title |
Calculi for First Order Logic
|
---|---|
Chapter number | 2 |
Book title |
Relative Complexities of First Order Calculi
|
Published by |
Vieweg+Teubner Verlag, January 1992
|
DOI | 10.1007/978-3-322-84222-0_2 |
Book ISBNs |
978-3-52-805122-8, 978-3-32-284222-0
|
Authors |
Elmar Eder |