Search results
From MaRDI portal
- Paper A model-based fuzzy analysis of questionnaires 2019-09-11 Paper Symbolic calculus in mathematical statistics: a review 2017-07-07 Paper On multivariable...10 bytes (18 words) - 13:28, 11 December 2023
- complete R-calculus for revising propositional theories 2022-10-28 Paper R-Calculus, III: Post Three-Valued Logic 2022-08-11 Paper R-Calculus, II: Many-Valued...10 bytes (18 words) - 13:25, 11 December 2023
- testing preorders for a finite probabilistic \(\pi\)-calculus 2013-03-22 Paper The Buffered π-Calculus: A Model for Concurrent Languages 2013-03-18 Paper...10 bytes (17 words) - 19:28, 11 December 2023
- asynchronous π-calculus 2023-06-28 Paper Typed equivalence, type assignment, and type containment 2023-03-09 Paper From a concurrent λ-calculus to the π-calculus...10 bytes (19 words) - 02:21, 13 December 2023
- de/entity/Q5825228 1951-01-01 Paper Emch's calculus and strict implication. 1936-01-01 Paper Emch's calculus and strict implication 1936-01-01 Paper Reply...10 bytes (19 words) - 08:47, 12 December 2023
- for spectral samples 2013-07-24 Paper Symbolic solutions of some linear recurrences 2011-11-10 Paper A symbolic handling of Sheffer polynomials 2011-10-25...10 bytes (16 words) - 08:34, 9 December 2023
- congruence properties for \(\pi\)-calculus bisimilarities 1998-08-13 Paper A symbolic semantics for the \(\pi\)-calculus 1997-01-02 Paper Testing equivalence...10 bytes (17 words) - 18:03, 9 December 2023
- de/entity/Q3413366 2007-01-04 Paper Symbolic and Quantitative Approaches to Reasoning with Uncertainty 2006-06-23 Paper Symbolic and Quantitative Approaches to...10 bytes (16 words) - 08:16, 9 December 2023
- 2015-02-20 Paper A noncommutative algebraic operational calculus for boundary problems 2015-02-04 Paper A Symbolic Approach to Boundary Problems for Linear Partial...10 bytes (16 words) - 03:52, 10 December 2023
- via Resources and Processes: Philosophy, Calculus, Semantics, and Logic 2013-12-06 Paper Errata for ``A calculus and logic of resources and processes and...10 bytes (16 words) - 06:31, 9 December 2023
- Closures of Operator Algebras with Symbolic Structure 2000-11-02 Paper Norm closure and extension of the symbolic calculus for the cone algebra 1996-08-18...10 bytes (16 words) - 21:52, 12 December 2023
- Paper Ordered Models of the Lambda Calculus 2014-01-08 Paper Boolean-like algebras 2013-07-12 Paper Towards Lambda Calculus Order-Incompleteness 2013-04-19...10 bytes (17 words) - 22:33, 10 December 2023
- Hypergeometric symbolic calculus. II: Systems of confluent equations 2003-09-15 Paper Hypergeometric symbolic calculus. I: Systems of two symbolic hypergeometric...10 bytes (16 words) - 01:50, 13 December 2023
- 2016-10-19 Paper CaSPiS: a calculus of sessions, pipelines and services 2016-07-27 Paper MarCaSPiS: a Markovian Extension of a Calculus for Services 2016-06-03...10 bytes (19 words) - 17:45, 11 December 2023
- 2013-08-13 Paper A complete symbolic bisimulation for full applied pi calculus 2012-11-08 Paper Proof System for Applied Pi Calculus 2010-10-27 Paper Formal...10 bytes (17 words) - 03:45, 25 September 2023
- de/entity/Q3108199 2012-01-01 Paper On symbolic models for Single-Conclusion Logic of Proofs 2011-09-27 Paper Symbolic Models for Single-Conclusion Proof Logics...10 bytes (18 words) - 17:17, 9 December 2023
- complexity of synchronizing Markov decision processes 2019-05-02 Paper Symbolic Supervisory Control of Distributed Systems With Communications 2017-05-16...10 bytes (17 words) - 22:30, 11 December 2023
- 2007-05-14 Paper Sublinear functional calculus in homogeneous Besov spaces 2007-05-14 Paper An optimal symbolic calculus on Besov algebras 2007-03-29 Paper...10 bytes (16 words) - 10:05, 11 December 2023
- decidability of unique decompositions of processes in the applied \(\pi\)-calculus 2015-12-15 Paper Mind the Gap: Modular Machine-Checked Proofs of One-Round...10 bytes (17 words) - 15:53, 10 December 2023
- Proof Theory of Co-Intuitionistic Linear Logic 2014-09-30 Paper On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems...10 bytes (16 words) - 03:22, 13 December 2023
