Combining Finite Combination Properties: Finite Models and Busy Beavers (Q6496627): Difference between revisions

@@ Property / cites work @@
+Many-sorted equivalence of shiny and strongly polite theories
+Normal rank
@@ Property / cites work @@
+Polite Theories Revisited
@@ Property / cites work: Polite Theories Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3971350
@@ Property / cites work: Q3971350 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+On Non-Computable Functions
@@ Property / cites work: On Non-Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Polite combination of algebraic datatypes
@@ Property / cites work: Polite combination of algebraic datatypes / rank @@
+Normal rank
@@ Property / cites work @@
+Politeness and stable infiniteness: stronger together
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank