Search results
From MaRDI portal
- de/entity/Q3134462 1993-09-05 Paper Probabilistic, truth value, and standard semantics and the primacy of predicate logic 1981-01-01 Paper A model-theoretic...10 bytes (19 words) - 20:46, 12 December 2023
- processes 1994-11-29 Paper Proving finiteness of CCS processes by non-standard semantics 1994-05-10 Paper Development of a debugger for a concurrent language...10 bytes (18 words) - 00:46, 13 December 2023
- application to arbitrary program structures 2011-12-07 Paper A non-standard semantics for program slicing and dependence analysis 2007-08-10 Paper Equivalence...10 bytes (18 words) - 15:34, 12 December 2023
- trajectory-based strict semantics for program slicing 2010-03-29 Paper Formal Approaches to Software Testing 2009-06-04 Paper A non-standard semantics for program...10 bytes (17 words) - 05:03, 9 December 2023
- Publication Date of Publication Type A Non-Standard Semantics for Kahn Networks in Continuous Time 2012-09-18 Paper Probabilistic and nondeterministic...10 bytes (16 words) - 10:48, 6 October 2023
- 2012-09-18 Paper A trajectory-based strict semantics for program slicing 2010-03-29 Paper A non-standard semantics for program slicing and dependence analysis...10 bytes (16 words) - 12:43, 7 October 2023
- 2017-05-16 Paper Ensuring Reachability by Design 2012-09-21 Paper Non-standard semantics of hybrid systems modelers 2012-08-17 Paper A Modal Interface Theory...10 bytes (16 words) - 00:04, 12 December 2023
- and Experiences in Managing Large-Scale Proofs 2012-09-07 Paper Non-standard semantics of hybrid systems modelers 2012-08-17 Paper New Results on Timed Specifications...10 bytes (16 words) - 06:54, 7 October 2023
- modelers 2017-05-16 Paper Synchronous Kahn networks 2016-09-01 Paper Non-standard semantics of hybrid systems modelers 2012-08-17 Paper Lucy-n: a n-Synchronous...10 bytes (17 words) - 04:07, 25 September 2023
- 2011-02-09 Paper A trajectory-based strict semantics for program slicing 2010-03-29 Paper A non-standard semantics for program slicing and dependence analysis...10 bytes (16 words) - 08:10, 7 October 2023
- domains 2018-07-04 Paper “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics 2017-11-16 Paper Making abstract domains condensing...10 bytes (16 words) - 04:36, 12 December 2023
- de/entity/Q5039148 2022-10-12 Paper A Non-Standard Kripke Semantics for the Minimal Deontic Logic 2021-12-02 Paper Society semantics for four-valued Łukasiewicz logic...10 bytes (18 words) - 14:53, 6 October 2023
- Paper Towards 3-Dimensional Rewriting Theory 2014-05-22 Paper A Non-Standard Semantics for Kahn Networks in Continuous Time 2012-09-18 Paper Trace Spaces:...10 bytes (16 words) - 08:07, 7 October 2023
- Science Logic 2005-08-22 Paper Transforming semantics by abstract interpretation 2005-06-30 Paper Non-standard semantics for program slicing 2004-03-15 Paper...10 bytes (16 words) - 09:01, 6 October 2023
- systems 1995-04-06 Paper Proving finiteness of CCS processes by non-standard semantics 1994-05-10 Paper https://portal.mardi4nfdi.de/entity/Q4035244 1993-05-18...10 bytes (16 words) - 09:44, 7 October 2023
- Paper Advances in Proof-Theoretic Semantics: Introduction 2022-06-03 Paper Open Problems in Proof-Theoretic Semantics 2022-06-03 Paper Restricting Initial...10 bytes (20 words) - 14:07, 6 October 2023
- Generators from Partial Evaluators 2015-12-07 Paper FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS 2015-04-30 Paper Reversible Representation...10 bytes (17 words) - 03:16, 25 September 2023
- discrete Newton-Leibniz formula 2015-07-16 Paper FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS 2015-04-30 Paper On Solution Spaces of Products...10 bytes (19 words) - 14:58, 8 December 2023
- management of monotonic service orchestrations 2014-06-30 Paper Non-standard semantics of hybrid systems modelers 2012-08-17 Paper A Modal Interface Theory...10 bytes (16 words) - 18:53, 11 December 2023
- Paper Tableaux for essence and contingency 2021-12-03 Paper A Non-Standard Kripke Semantics for the Minimal Deontic Logic 2021-12-02 Paper Reflexive-insensitive...10 bytes (17 words) - 22:48, 24 September 2023
