Results 41 to 50 of about 140,576 (147)
EXPTIME Tableaux for the Coalgebraic Mu-Calculus
, 2009 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +1 more source
On equivalences and standardization in a non-deterministic call-by-need lambda calculus [PDF]
, 2007 The goal of this report is to prove correctness of a considerable subset of transformations w.r.t. contextual equivalence in a an extended lambda-calculus with case, constructors, seq, let, and choice, with a simple set of reduction rules. Unfortunately,
Mann, Matthias +3 more
core
On the ternary commutator, I: Exact Mal'tsev categories,
, 2021 In this first article on the Bulatov commutator, we introduce a ternary commutator of equivalence relations in the context of an exact Mal'tsev category with binary coproducts. We prove that, for Mal'tsev varieties, our notion is a particular case (where
Simeu, Cyrille Sandry +1 more
core
Was the Early Calculus an Inconsistent Theory? [PDF]
, 2007 The ubiquitous assertion that the early calculus of Newton and Leibniz was an inconsistent theory is examined. Two different objects of a possible inconsistency claim are distinguished: (i) the calculus as an algorithm; (ii) proposed explanations of the ...
Vickers, Peter
core
Commutator calculus and link invariants [PDF]
Proceedings of the American Mathematical Society, 1952 openaire +2 more sources
Non-commutative Calculus and Discrete Physics
, 2003 LaTeX document, 56 pages, 1 ...
openaire +2 more sources
Map Calculus in GIS: a proposal and demonstration [PDF]
, 2004 This paper provides a new representation for fields (continuous surfaces) in Geographical Information Systems (GIS), based on the notion of spatial functions and their combinations.
Haklay, M
core
Functional Calculus for a Pair of Almost Commuting Selfadjoint Operators
Journal of Functional Analysis, 1993 In this relevant paper, the author constructs a functional calculus for a pair \((A,B)\) of almost commuting selfadjoint operators, i.e. \(AB-BA\) is a trace class operator. A class \({\mathcal C}\) of functions in two real variables is constructed and a mapping \(\varphi \mapsto \varphi(A,B)\) \((\varphi \in{\mathcal C})\) is defined satisfying ...
openaire +2 more sources
Contextuality, Complementarity, Signaling, and Bell Tests. [PDF]
Entropy (Basel), 2022 Khrennikov A.
europepmc +1 more source
, 2013 This Sixth Edition of Calculus continues the effort to promote courses in which understanding and computation reinforce each other. Calculus: Multivariable 6th Edition reflects the many voices of users at research universities, four-year colleges ...
Quinney, Douglas +15 more
core