THE LOGICAL STRENGTH OF BÜCHI'S DECIDABILITY THEOREM.
Saved in:
| 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 |
Be the first to leave a comment!
