Search results
From MaRDI portal
- Type Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) 2023-10-31 Paper Algebraic semantics for the minimum many-valued...10 bytes (16 words) - 09:22, 25 September 2023
- 2024-02-28 Paper Denotational and algebraic semantics for the CaIT calculus 2023-07-28 Paper Trace semantics and algebraic laws for MCA ARMv8 architecture...10 bytes (16 words) - 19:44, 6 October 2023
- Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude 2015-12-11 Paper Denotational Semantics for a Probabilistic Timed Shared-Variable...10 bytes (16 words) - 08:51, 6 October 2023
- Paper Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) 2023-10-31 Paper Algebraic semantics for the minimum many-valued...10 bytes (18 words) - 21:19, 8 December 2023
- multiset rewriting 2013-04-29 Paper Bialgebraic Semantics and Recursion 2013-04-26 Paper Semantics for Algebraic Operations 2013-04-26 Paper Approximating Labelled...10 bytes (19 words) - 00:56, 10 December 2023
- Paper Algebraic Methodology and Software Technology 2005-08-25 Paper Algebraic Methodology and Software Technology 2005-08-25 Paper Update semantics of security...10 bytes (21 words) - 01:52, 9 December 2023
- 2015-09-14 Paper Deriving Pretty-Big-Step Semantics from Small-Step Semantics 2014-04-16 Paper Modular Semantics for Transition System Specifications with...10 bytes (19 words) - 04:54, 12 December 2023
- Paper On the Unification of Process Semantics: Equational Semantics 2016-05-10 Paper Axiomatizing weak simulation semantics over BCCSP 2014-06-10 Paper Coinductive...10 bytes (18 words) - 03:37, 13 December 2023
- de/entity/Q4493883 1999-01-01 Paper Algebraic computational models of OR-parallel execution of Prolog 1996-09-25 Paper A Petri nets semantics for data flow networks...10 bytes (18 words) - 00:46, 13 December 2023
- An Algebra of Interaction Protocols 2009-03-10 Paper What Do Semantics Matter When the Meat Is Overcooked? 2008-06-19 Paper An algebraic semantics of event-based...10 bytes (19 words) - 19:56, 11 December 2023
- quantum approach to vagueness and to the semantics of music 2016-01-13 Paper A quantum computational semantics for epistemic logical operators. I: Epistemic...10 bytes (20 words) - 19:17, 8 December 2023
- Paper On the Unification of Process Semantics: Equational Semantics 2016-05-10 Paper Axiomatizing weak simulation semantics over BCCSP 2014-06-10 Paper Coinductive...10 bytes (21 words) - 07:26, 12 December 2023
- 1992-12-16 Paper Some fundamental algebraic tools for the semantics of computation. III: Indexed categories 1992-06-28 Paper https://portal.mardi4nfdi.de/entity/Q3975038...10 bytes (18 words) - 18:40, 9 December 2023
- Paper Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics 1977-01-01 Paper Algebraic semantics for \(S2^0\)...10 bytes (17 words) - 00:21, 12 December 2023
- quantum computational semantics for epistemic logical operators. I: Epistemic structures 2014-11-19 Paper A quantum computational semantics for epistemic logical...10 bytes (17 words) - 14:47, 11 December 2023
- Pseudo-commutative Monads 2013-04-26 Paper Semantics for Algebraic Operations 2013-04-26 Paper An Algebraic Foundation for Graph-based Diagrams in Computing 2013-04-26...10 bytes (18 words) - 16:31, 8 December 2023
- mardi4nfdi.de/entity/Q2722030 2001-07-11 Paper An algebraic framework for the definition of compositional semantics of normal logic programs 1999-12-19 Paper Institutions...10 bytes (16 words) - 00:18, 12 December 2023
- methodologies in linear logic and process algebra 2016-07-28 Paper Program equivalence in linear contexts 2015-05-26 Paper Semantics of Probabilistic Processes 2015-02-03...10 bytes (17 words) - 19:28, 11 December 2023
- distributed system 2002-05-13 Paper Distance semantics for belief revision 2002-05-13 Paper Preferred history semantics for iterated updates 2000-07-31 Paper...10 bytes (18 words) - 00:36, 9 December 2023
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language 2015-12-11 Paper Linking operational semantics and algebraic semantics for a probabilistic...10 bytes (18 words) - 08:58, 12 December 2023
