Search results
From MaRDI portal
- algebraic approach 2011-07-07 Paper Equational Reasoning on Mobile Ad Hoc Networks 2011-03-28 Paper Equational Reasoning on Ad Hoc Networks 2010-01-28 Paper...10 bytes (16 words) - 00:41, 25 September 2023
- Publication Type Automating (specification = implementation) using equational reasoning and LOTOS 2022-11-02 Paper...10 bytes (16 words) - 23:04, 27 December 2023
- Erdős Discrepancy Conjecture 2014-09-26 Paper Detecting Unknots via Equational Reasoning, I: Exploration 2014-08-07 Paper On one application of computations...10 bytes (17 words) - 04:16, 13 December 2023
- integration 2023-09-19 Paper Towards a practical library for monadic equational reasoning in Coq 2023-06-30 Paper https://portal.mardi4nfdi.de/entity/Q5875410...10 bytes (16 words) - 08:51, 6 October 2023
- Date of Publication Type Towards a practical library for monadic equational reasoning in Coq 2023-06-30 Paper Foundations of systems biology. Using cell...10 bytes (16 words) - 03:42, 7 October 2023
- Paper A hierarchy of monadic effects for program verification using equational reasoning 2020-05-05 Paper Verifying Reachability-Logic Properties on Rewriting-Logic...10 bytes (18 words) - 14:53, 28 January 2024
- Paper A hierarchy of monadic effects for program verification using equational reasoning 2020-05-05 Paper...10 bytes (16 words) - 16:51, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4986182 2021-04-27 Paper Equational Reasoning About Quantum Protocols 2016-09-30 Paper Quantum Process Calculus...10 bytes (18 words) - 02:40, 25 September 2023
- Paper Conditions for the completeness of functional and algebraic equational reasoning 2000-03-23 Paper Negation as failure as resolution 1999-06-21 Paper...10 bytes (16 words) - 13:06, 24 September 2023
- of mobile ad hoc networks: an algebraic approach 2011-07-07 Paper Equational Reasoning on Mobile Ad Hoc Networks 2011-03-28 Paper Dynamic routing of real-time...10 bytes (17 words) - 00:41, 25 September 2023
- verified equivalence 2021-01-19 Paper Interactive proof-search for equational reasoning 2021-01-08 Paper Axiomatic and dual systems for constructive necessity...10 bytes (20 words) - 00:27, 25 September 2023
- of mobile ad hoc networks: an algebraic approach 2011-07-07 Paper Equational Reasoning on Mobile Ad Hoc Networks 2011-03-28 Paper Ready to preorder: the...10 bytes (19 words) - 15:23, 10 December 2023
- (proof pearl) 2018-01-04 Paper Friends with Benefits 2017-05-19 Paper Equational Reasoning with Applicative Functors 2016-10-27 Paper Probabilistic Functions...10 bytes (16 words) - 05:59, 13 December 2023
- links under fused isotopy 2016-07-14 Paper Detecting Unknots via Equational Reasoning, I: Exploration 2014-08-07 Paper https://portal.mardi4nfdi.de/entity/Q2848469...10 bytes (16 words) - 09:48, 24 September 2023
- Crystal Growth: Nonlinear Step Flow in 1+1 Dimensions 2018-05-29 Paper Equational Reasoning with Applicative Functors 2016-10-27 Paper...10 bytes (17 words) - 17:54, 24 September 2023
- 2018-07-17 Paper Communicating quantum processes 2017-07-14 Paper Equational Reasoning About Quantum Protocols 2016-09-30 Paper Subtyping Supports Safe...10 bytes (18 words) - 19:51, 12 December 2023
- Paper Conditions for the completeness of functional and algebraic equational reasoning 2000-03-23 Paper Kripke logical relations and PCF 1999-05-11 Paper...10 bytes (18 words) - 12:23, 28 January 2024
- Generalized relations in linguistics and cognition 2017-12-20 Paper Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers 2016-12-15...10 bytes (16 words) - 21:35, 24 September 2023
- Paper Quantomatic: A Proof Assistant for Diagrammatic Reasoning 2015-12-02 Paper Equational Reasoning with Context-Free Families of String Diagrams 2015-09-22...10 bytes (16 words) - 09:39, 6 October 2023
- verified equivalence 2021-01-19 Paper Interactive proof-search for equational reasoning 2021-01-08 Paper Axiomatic and dual systems for constructive necessity...10 bytes (22 words) - 00:27, 25 September 2023
