article

Free access

Ackermann and the superpowers

Authors:

António G. Porto,

Armando B. MatosAuthors Info & Claims

ACM SIGACT News, Volume 12, Issue 3

Pages 90 - 95

https://doi.org/10.1145/1008861.1008872

Published: 01 September 1980 Publication History

PDF eReader

References

[1]

Knuth --- Mathematics and Computer Science: Coping with Finiteness, --- Science, vol. 194, 17 December 1976.

Google Scholar

[2]

Hermes --- Enumerability, Decidability, Computability --- Springer --- Verlag, 1969

Google Scholar

Cited By

View all

Fujie THigashikawa YKatoh NTeruyama JTokuni Y(2024)Minmax regret 1-sink location problems on dynamic flow path networks with parametric weightsJournal of Combinatorial Optimization10.1007/s10878-024-01199-748:2Online publication date: 26-Aug-2024
https://dl.acm.org/doi/10.1007/s10878-024-01199-7
Calude C(2019)Super-exponentials nonprimitive recursive, but rudimentaryInformation Processing Letters10.1016/0020-0190(87)90205-525:5(311-316)Online publication date: 5-Jan-2019
https://dl.acm.org/doi/10.1016/0020-0190%2887%2990205-5

Recommendations

AI Superpowers: China, Silicon Valley, and the New World Order
The Ackermann approach for modal logic, correspondence theory and second-order reduction

The problem of eliminating second-order quantification over predicate symbols is in general undecidable. Since an application of second-order quantifier elimination is correspondence theory in modal logic, understanding when second-order quantifier ...
AI Superpowers: China, Silicon Valley, and the New World Order

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGACT News Volume 12, Issue 3

Fall 1980

65 pages

ISSN:0163-5700

DOI:10.1145/1008861

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1980

Published in SIGACT Volume 12, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
165
Total Downloads

Downloads (Last 12 months)44
Downloads (Last 6 weeks)3

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fujie THigashikawa YKatoh NTeruyama JTokuni Y(2024)Minmax regret 1-sink location problems on dynamic flow path networks with parametric weightsJournal of Combinatorial Optimization10.1007/s10878-024-01199-748:2Online publication date: 26-Aug-2024
https://dl.acm.org/doi/10.1007/s10878-024-01199-7
Calude C(2019)Super-exponentials nonprimitive recursive, but rudimentaryInformation Processing Letters10.1016/0020-0190(87)90205-525:5(311-316)Online publication date: 5-Jan-2019
https://dl.acm.org/doi/10.1016/0020-0190%2887%2990205-5

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Recommendations

AI Superpowers: China, Silicon Valley, and the New World Order

The Ackermann approach for modal logic, correspondence theory and second-order reduction

AI Superpowers: China, Silicon Valley, and the New World Order

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations