Whither semantics? (Q2286732): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2019.06.029
@@ Property / DOI: 10.1016/j.tcs.2019.06.029 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4210391016
@@ Property / OpenAlex ID: W4210391016 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.13328
@@ Property / arXiv ID: 2010.13328 / rank @@
+Normal rank
@@ Property / cites work @@
+The sheaf-theoretic structure of non-locality and contextuality
+Normal rank
@@ Property / cites work @@
+Contextuality, Cohomology and Paradox
@@ Property / cites work: Contextuality, Cohomology and Paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325069
@@ Property / cites work: Q3325069 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical quantum mechanics
@@ Property / cites work: Categorical quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144676
@@ Property / cites work: Q5144676 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900995
@@ Property / cites work: Q3900995 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Unification
@@ Property / cites work: Semantic Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Relating structure and power: comonadic semantics for computational resources (extended abstract)
+Normal rank
@@ Property / cites work @@
+Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Network Models
@@ Property / cites work: Network Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138535
@@ Property / cites work: Q3138535 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognisable Languages over Monads
@@ Property / cites work: Recognisable Languages over Monads / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics of Signal Flow Graphs
@@ Property / cites work: A Categorical Semantics of Signal Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Compositional Game Theory
@@ Property / cites work: Compositional Game Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Sch\"utzenberger product for syntactic spaces
@@ Property / cites work: The Sch\"utzenberger product for syntactic spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers on languages and codensity monads
@@ Property / cites work: Quantifiers on languages and codensity monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263155
@@ Property / cites work: Q4263155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828516
@@ Property / cites work: Q4828516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3928211
@@ Property / cites work: Q3928211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / 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 @@
+Q5620552
@@ Property / cites work: Q5620552 / 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 @@
+Q4369165
@@ Property / cites work: Q4369165 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-depth, subgraph coloring and homomorphism bounds
+Normal rank
@@ Property / cites work @@
+Q3857704
@@ Property / cites work: Q3857704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3888505
@@ Property / cites work: Q3888505 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Homomorphism preservation theorems
@@ Property / cites work: Homomorphism preservation theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+Every two elementarily equivalent models have isomorphic ultrapowers
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Mackey-complete spaces and power series – a topological model of differential linear logic
+Normal rank
@@ Property / cites work @@
+Profinite Monads, Profinite Equations, and Reiterman’s Theorem
+Normal rank
@@ Property / cites work @@
+Comonadic Notions of Computation
@@ Property / cites work: Comonadic Notions of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5653569
@@ Property / cites work: Q5653569 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127469426
@@ Property / Wikidata QID: Q127469426 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2019.06.029
@@ Property / DOI: 10.1016/J.TCS.2019.06.029 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2286732