Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Orders and Abstract Reduction Relations
Home
Publications
Orders and Abstract Reduction Relations
Orders and Abstract Reduction Relations
TB
Thomas Becker
Thomas Becker
VW
Volker Weispfenning
Volker Weispfenning
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1993
book chapter
Published by
Springer Science and Business Media LLC
p.
141-185
https://doi.org/10.1007/978-1-4612-0913-3_5
Abstract
No abstract available
Cited by 35 articles