Search results
From MaRDI portal
- 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
- Publication Type Monteiro's algebraic notion of maximal consistent theory for Tarskian logics 2023-10-30 Paper Fidel Semantics for Propositional and First-Order...10 bytes (18 words) - 13:36, 28 January 2024
- axiomatization 2005-02-22 Paper Nested semantics over finite trees are equationally hard 2004-08-06 Paper Structural operational semantics and bounded nondeterminism...10 bytes (19 words) - 15:23, 10 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
- 2018-06-26 Paper On equivalence of infinitary formulas under the stable model semantics 2017-11-09 Paper Dual-normal logic programs – the forgotten class 2017-11-09...10 bytes (17 words) - 14:24, 10 December 2023
- mardi4nfdi.de/entity/Q4012880 1992-09-27 Paper Some fundamental algebraic tools for the semantics of computation. III: Indexed categories 1992-06-28 Paper Pebble...10 bytes (19 words) - 10:57, 13 December 2023
- Intersection types and λ-definability 2004-02-08 Paper On phase semantics and denotational semantics: The exponentials 2003-02-03 Paper Relative definability...10 bytes (17 words) - 02:44, 9 December 2023
- programming: Basic approach and teaching experiences 2009-05-27 Paper An algebraic treatment of procedure refinement to support mechanical verification 2005-12-13...10 bytes (19 words) - 06:31, 9 December 2023
- Paper Algebraic semantics of an imperative programming language 2005-06-30 Paper An abstract compiler model as a result of the algebraic semantics of a...10 bytes (18 words) - 14:59, 8 December 2023
- VALUED QUANTUM COMPUTATIONAL LOGICS 2017-01-16 Paper ON WHEN A SEMANTICS IS NOT A GOOD SEMANTICS: THE ALGEBRAISATION OF ORTHOMODULAR LOGIC 2017-01-16 Paper...10 bytes (17 words) - 12:25, 11 December 2023
- Paper The rewriting logic semantics project: a progress report 2014-01-16 Paper A Rewriting Logic Approach to Operational Semantics (Extended Abstract) 2014-01-10...10 bytes (17 words) - 01:42, 9 December 2023
- de/entity/Q3575369 2010-07-27 Paper Lawvere–Tierney sheaves in Algebraic Set Theory 2009-09-29 Paper Kripke Semantics for Martin-Löf’s Extensional Type Theory 2009-07-07...10 bytes (17 words) - 06:27, 9 December 2023
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet 2013-03-28 Paper Algebraic Synchronization Trees and...10 bytes (17 words) - 02:45, 10 December 2023
- bialgebraic semantics 2016-11-07 Paper Duality of Equations and Coequations via Contravariant Adjunctions 2016-07-15 Paper Final Semantics for Decorated...10 bytes (19 words) - 01:41, 10 December 2023
- Paper Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic 2018-02-20 Paper https://portal.mardi4nfdi.de/entity/Q3179717...10 bytes (18 words) - 21:34, 12 December 2023
- 2021-12-08 Paper A linear-algebraic method to compute polynomial PDE conservation laws 2021-08-05 Paper Complete Algorithms for Algebraic Strongest Postconditions...10 bytes (17 words) - 18:03, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q3753467 1987-01-01 Paper Relational algebraic semantics of deterministic and nondeterministic programs 1986-01-01 Paper...10 bytes (16 words) - 09:10, 12 December 2023
- Paper The rewriting logic semantics project: a progress report 2014-01-16 Paper A Rewriting Logic Approach to Operational Semantics (Extended Abstract) 2014-01-10...10 bytes (17 words) - 11:55, 11 December 2023
- structures: An algebraic approach 1981-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3952099 1980-01-01 Paper Computable stack functions for semantics of stack...10 bytes (18 words) - 23:39, 9 December 2023
- explicit substitutions: The late semantics 2022-08-18 Paper An algebraic view of interleaving and distributed operational semantics for CCS 2022-08-16 Paper Abstract...10 bytes (18 words) - 19:24, 9 December 2023
