„trace logic“
Suchergebnisse
1.000+ Treffer
-
Stochastic transition systems: bisimulation, logic, and composition
-
Manufacturing a longer chain logically requires manufacturing more than one link; thus is logically manufactured a longer metrological traceability chain…
-
Traces of thinking: a stigmergic approach to 4E cognition
-
Trace nets and process automata
-
P Systems with Symport/Antiport Rules: The Traces of Objects
-
Logical fragments for Mazurkiewicz traces – expressive power and algebraic characterizations
-
CPD $$_{\textrm{LTLf}}$$ : a linear temporal logic over finite traces guided model checking tool
-
Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking
-
PDDL to DFA: A Symbolic Transformation for Effective Reasoning
-
Refinement in Z and Object-Z – Foundations and Advanced Applications
-
Searching for a Critical Metaphysics: Kantian Traces in Bradley’s Philosophy
-
Traces in probability space – William Demopoulos. On theories: logical empiricism and the methodology of modern physics, edited by Michael Friedman. Cambridge: Harvard University Press, xxiv + 247 pp, $39.95 HB
-
Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces
-
An Expressive Trace Logic for Recursive Programs
-
Generic Trace Semantics and Graded Monads
-
A Complete Inference System for Probabilistic Infinite Trace Equivalence
-
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa
-
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages
-
Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces
-
Summary-Based Inter-Procedural Analysis via Modular Trace Refinement