Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic-Reference-Cited by-同舟云学术

Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic

Published:1966 Issue: Volume: Page:1-11
ISSN:0049-237X
Container-title:Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress
language:
Short-container-title:

Author:

Richard Büchi J.

Publisher

Elsevier

Reference11 articles.

1. “Weak Second Order Arithmetic and Finite Automata”;Büchi;Zeitschrift für Math. Log. und Grundl. der Math.,1960

2. Church, Alonzo. “Application of Recursive Arithmetic to the Problem of Circuit Synthesis”, Notes of the Summer Institute of Symbolic Logic, Cornell, 1957, pp. 3–50, and “Application of Recursive Arithmetic in the Theory of Computing and Automata”, Notes: Advanced Theory of the Logical Design of Digital Computers, U. of Michigan Summer Session, 1959.

3. “Realization of Events by Logical Nets”;Copi;Journal of the Association for Computing Machinery,1958

4. “Some Results in Church's Restricted Recursive Arithmetic”;Friedman;Journal of Symbolic Logic,1957

5. “Representation of Events in Nerve Nets and Finite Automata”;Kleene,1956

Cited by 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantum Büchi automata;Theoretical Computer Science;2024-10

2. Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs;Lecture Notes in Computer Science;2024-09-11

3. Jumping Automata over Infinite Words;Theory of Computing Systems;2024-09-10

4. Quantifying Over Trees in Monadic Second-Order Logic;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

5. Energy Büchi Problems;Formal Methods;2023