Search results
From MaRDI portal
- propositional dynamic logic: expressivity 2012-06-19 Paper Lattice properties of congruences for stochastic relations 2012-06-01 Paper Coalgebraic logic over general...10 bytes (19 words) - 20:23, 11 December 2023
- 2016-06-22 Paper Equational Coalgebraic Logic 2016-05-10 Paper Positive fragments of coalgebraic logics 2015-10-29 Paper Presenting Distributive Laws 2015-08-25...10 bytes (16 words) - 01:42, 9 December 2023
- of Branching Rules for Mixed-Integer Programming 2018-10-09 Paper Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence 2016-08-01...10 bytes (16 words) - 20:40, 21 September 2023
- Quantum Probabilistic Dyadic Second-Order Logic 2013-09-17 Paper Model Constructions for Moss’ Coalgebraic Logic 2011-09-02 Paper...10 bytes (18 words) - 01:36, 12 December 2023
- productivity checker for logic programming 2017-10-13 Paper Heuristic-Driven Theory Projection: An Overview 2016-07-18 Paper Coalgebraic logic programming: from...10 bytes (17 words) - 10:04, 7 October 2023
- positive coalgebraic logic 2018-02-13 Paper https://portal.mardi4nfdi.de/entity/Q5275341 2017-07-11 Paper Positive fragments of coalgebraic logics 2015-10-29...10 bytes (16 words) - 15:18, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q2963905 2017-02-21 Paper CoLoSS: The Coalgebraic Logic Satisfiability Solver 2015-03-23 Paper...10 bytes (16 words) - 14:41, 6 October 2023
- de/entity/Q5875347 2023-02-03 Paper Coalgebraic Geometric Logic: Basic Theory 2023-01-09 Paper Model theory of monadic predicate logic with the infinity quantifier...10 bytes (17 words) - 16:20, 8 December 2023
- measures and coalgebraic model checking 2016-10-24 Paper A Coalgebraic Approach to Linear-Time Logics 2014-04-16 Paper Modular Games for Coalgebraic Fixed Point...10 bytes (16 words) - 01:40, 9 December 2023
- Expressivity of Many-Valued Modal Logics, Coalgebraically 2016-09-09 Paper Proof systems for Moss' coalgebraic logic 2014-08-27 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 13:50, 7 October 2023
- Publication Type Equational Coalgebraic Logic 2016-05-10 Paper Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics 2014-09-15 Paper Predicate...10 bytes (18 words) - 10:35, 6 October 2023
- Paper Coalgebraic Semantics for Derivations in Logic Programming 2011-09-02 Paper Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming...10 bytes (16 words) - 10:04, 7 October 2023
- 2016-01-21 Paper Many-Valued Relation Lifting and Moss’ Coalgebraic Logic 2013-09-13 Paper...10 bytes (16 words) - 19:48, 6 October 2023
- elimination in coalgebraic logics 2011-01-14 Paper Rank-1 Modal Logics are Coalgebraic 2010-11-11 Paper Global Caching for Coalgebraic Description Logics 2010-09-14...10 bytes (16 words) - 19:52, 6 October 2023
- mardi4nfdi.de/entity/Q5208779 2020-01-10 Paper Enhanced coalgebraic bisimulation 2017-09-27 Paper A coalgebraic view on decorated traces 2017-04-03 Paper Structural...10 bytes (19 words) - 01:41, 10 December 2023
- Rules 2013-12-20 Paper Coalgebraic Predicate Logic: Equipollence Results and Proof Theory 2013-04-12 Paper Coalgebraic Predicate Logic 2012-11-01 Paper Some...10 bytes (16 words) - 19:44, 6 October 2023
- relation liftings for coalgebras with side effects: an application in coalgebraic modal logic 2022-12-07 Paper https://portal.mardi4nfdi.de/entity/Q5009455 2021-08-04...10 bytes (18 words) - 03:58, 25 September 2023
- categories for partial equational logic 2013-08-16 Paper Coalgebraic Announcement Logics 2013-08-07 Paper Coalgebraic Predicate Logic 2012-11-01 Paper Narcissists...10 bytes (17 words) - 16:53, 24 September 2023
- mardi4nfdi.de/entity/Q2988093 2017-05-18 Paper Exploiting parallelism in coalgebraic logic programming 2016-05-06 Paper Computing persistent homology within Coq/SSReflect...10 bytes (16 words) - 10:04, 7 October 2023
- Coalgebra 2015-11-04 Paper Functorial Coalgebraic Logic: The Case of Many-sorted Varieties 2014-01-24 Paper Nominal Coalgebraic Data Types with Applications to...10 bytes (17 words) - 11:59, 7 October 2023
