On Dynamic Topological and Metric Logics

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

A variant of a recursively unsolvable problem

Emil L. Post · Bulletin of the American Mathematical Society · 1946 · 613 citations · Full text

Computing, Computer Science, Algorithms +9

The Algebra of Topology

J. C. C. McKinsey, Alfred Tarski · Annals of Mathematics · 1944 · 534 citations

Natural Sciences, Mathematics, Algebra +8

Introduction to automata theory, languages, and computation, 2nd edition

John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman · ACM SIGACT News · 2001 · 483 citations

Computing, Computer Science, Algorithms +8

Logics for hybrid systems

J.M. Davoren, Anil Nerode · Proceedings of the IEEE · 2000 · 156 citations

Computing, Computer Science, Systems Engineering +17