View in EDS PDF Full Text

THE LOGICAL STRENGTH OF BÜCHI'S DECIDABILITY THEOREM.

Saved in:
Bibliographic Details
Title: THE LOGICAL STRENGTH OF BÜCHI'S DECIDABILITY THEOREM.
Authors: KOŁODZIEJCZYK, LESZEK A.1, lak@mimuw.edu.pl, MICHALEWSKI, HENRYK1, henrykm@mimuw.edu.pl, PRADIC, CÉCILIA1, SKRZYPCZAK, MICHAŁ1, mskrzypczak@mimuw.edu.pl
Source: Logical Methods in Computer Science (LMCS); Apr2019, Vol. 15 Issue 2, p1-31, 31p, 7 Graphs
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.23638/LMCS-15(2:16)2019