Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen |
| |
Authors: | Egon Börger |
| |
Institution: | (1) Institut für math. Logik und Grundlagenforschung der Universität, Roxeler Str. 64, D-4400 Münster i.W. |
| |
Abstract: | Ohne Zusammenfassung |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|