| Autor(en): | Santos, Paulo Guilherme; Kahle, Reinhard | |
| Tübinger Autor(en): |
|
|
| Erschienen in: |
Bulletin of Symbolic Logic
(2021), Bd.
27,
H.
4,
S.
337-350 |
|
| Verlagsangabe: | Cambridge | |
| Sprache: | Englisch | |
| Referenz zum Volltext: | http://dx.doi.org/10.1017/bsl.2021.68 | |
| ISSN: | 1079-8986 | |
| DDC-Klassifikation: |
004 - Informatik 510 - Mathematik 610 - Medizin, Gesundheit |
|
| Dokumentart: | Wissenschaftlicher Artikel | |
| Zur Langanzeige |