Pages that link to "Item:Q2789506"
From MaRDI portal
The following pages link to Electronic Proceedings in Theoretical Computer Science (Q2789506):
Displayed 50 items.
- A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems (Q6118735) (← links)
- Mining for Unknown Unknowns (Q6118736) (← links)
- Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results (Q6118739) (← links)
- Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract) (Q6118741) (← links)
- Paraconsistent Transition Systems (Q6118743) (← links)
- ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations (Q6118746) (← links)
- Equational Theorem Proving for Clauses over Strings (Q6118747) (← links)
- Nominal Sets in Agda - A Fresh and Immature Mechanization (Q6118749) (← links)
- A Formal Proof of the Strong Normalization Theorem for System T in Agda (Q6118750) (← links)
- The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics (Q6122639) (← links)
- Branching Pomsets for Choreographies (Q6122640) (← links)
- On Composing Communicating Systems (Q6122641) (← links)
- Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)
- Canonical Gradings of Monads (Q6150137) (← links)
- Categorification of Negative Information using Enrichment (Q6150139) (← links)
- A Category of Surface-Embedded Graphs (Q6150141) (← links)
- Coend Optics for Quantum Combs (Q6150143) (← links)
- Compositional Modeling with Stock and Flow Diagrams (Q6150145) (← links)
- Cornering Optics (Q6150147) (← links)
- Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting (Q6150149) (← links)
- Dependent Optics (Q6150150) (← links)
- Diegetic Representation of Feedback in Open Games (Q6150152) (← links)
- Differential 2-rigs (Q6150153) (← links)
- Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets (Q6150154) (← links)
- Monoidal Width: Capturing Rank Width (Q6150162) (← links)
- On the Pre- and Promonoidal Structure of Spacetime (Q6150163) (← links)
- Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing (Q6150164) (← links)
- Polynomial Functors and Shannon Entropy (Q6150165) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)
- String Diagrams for Layered Explanations (Q6150168) (← links)
- Unification of Modal Logic via Topological Categories (Q6150170) (← links)
- Extending Resource Monotones using Kan Extensions (Q6190596) (← links)
- Fibrational Linguistics (FibLang): Language Acquisition (Q6190598) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
- Magnitude and Topological Entropy of Digraphs (Q6190600) (← links)
- Universal Properties of Lens Proxy Pullbacks (Q6190612) (← links)
- Value Iteration is Optic Composition (Q6190614) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- A Kripke Semantics for Hajek's BL (Q6196499) (← links)
- DisCoCat for Donkey Sentences (Q6196501) (← links)
- Multimodality in the Hypergraph Lambek Calculus (Q6196502) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)
- Proofs about Network Communication: For Humans and Machines (Q6197375) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
- Algebraic Reasoning About Timeliness (Q6197377) (← links)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)
- Research Challenges in Orchestration Synthesis (Q6197380) (← links)
- Strengthening Consistency Results in Modal Logic (Q6199593) (← links)
- Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games (Q6199594) (← links)