On the Unusual Effectiveness of Logic in Computer Science (Q2736585): Difference between revisions

@@ Property / cites work @@
+Q3668890
@@ Property / cites work: Q3668890 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+A note on the Entscheidungsproblem
@@ Property / cites work: A note on the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301150
@@ Property / cites work: Q4301150 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Space is Closed under Complementation
+Normal rank
@@ Property / cites work @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Q4398808
@@ Property / cites work: Q4398808 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of Programming Languages
@@ Property / cites work: Theories of Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank