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 |