Relating structure and power: comonadic semantics for computational resources (extended abstract) (Q1798780): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2810685260
@@ Property / OpenAlex ID: W2810685260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144676
@@ Property / cites work: Q5144676 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating Structure and Power: Comonadic Semantics for Computational Resources
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q4828516
@@ Property / cites work: Q4828516 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logics and 0-1 laws
@@ Property / cites work: Infinitary logics and 0-1 laws / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Approach to Structural Limits and                     Limits of Graphs with Bounded Tree-Depth
+Normal rank
@@ Property / cites work @@
+Every two elementarily equivalent models have isomorphic ultrapowers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1798780