Relative Complexities of First Order Calculi
Vieweg+Teubner Verlag
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.
Timeline
| Chapter title |
Comparison of Calculi for First Order Logic
|
|---|---|
| Chapter number | 3 |
| Book title |
Relative Complexities of First Order Calculi
|
| Published by |
Vieweg+Teubner Verlag, January 1992
|
| DOI | 10.1007/978-3-322-84222-0_3 |
| Book ISBNs |
978-3-52-805122-8, 978-3-32-284222-0
|
| Authors |
Elmar Eder |