TRAKHTENBROT'S THEOREM IN COQ: FINITE MODEL THEORY THROUGH THE CONSTRUCTIVE LENS.
In: Logical Methods in Computer Science (LMCS), Jg. 18 (2022-04-01), Heft 2, S. 1-29
Online
academicJournal
Zugriff:
Titel: |
TRAKHTENBROT'S THEOREM IN COQ: FINITE MODEL THEORY THROUGH THE CONSTRUCTIVE LENS.
|
---|---|
Autor/in / Beteiligte Person: | KIRST, DOMINIK ; LARCHEY-WENDLING, DOMINIQUE |
Link: | |
Zeitschrift: | Logical Methods in Computer Science (LMCS), Jg. 18 (2022-04-01), Heft 2, S. 1-29 |
Veröffentlichung: | 2022 |
Medientyp: | academicJournal |
ISSN: | 1860-5974 (print) |
DOI: | 10.46298/LMCS-18(217)2022 |
Sonstiges: |
|