Вы здесь

Главная

аксиоматизация

Связанные издания:

A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours
A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
A Completeness Theorem for Nondeterministic Kleene Algebras
Algorithms and Discrete Applied Mathematics: Proc./2nd International Conference, CALDAM 2016, Thiruvananthapuram, India, February 2016
An Algebra and Axiomatization System of Mixed Computation
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
An axiomatization of graphs
A Simple Adequate Categorical Model for PCF
Axiomatisations of Weak Equivalences for De Simone Languages
Axiomatising Linear Time Mu-calculus
Axiomatising Uniform Properties of Recursive Data Structures
Axiomatization of Fuctional Logic Language
Axiomatizations for Probabilistic Finite-State Behaviors
Axiomatizations of Temporal Logics on Trace Systems
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
Axiomatizing the Algebra of Net Computations and Processes
Axiomatizing U and S over Integer Time
Compositional Verification of Probabilistic
CONCUR 2007 - Concurrency Theory: Proc./18th International Conference. Lisbon, Portugal, September 2007
Conductive Axiomatization of Recursive Type Equality and Subtyping
Cyclic Orders and the axiomatization of causality and concurrency in periodic processes
Decision procedures for set/hyperset contexts
Defining -Typed -Calculi by Axiomatizing the Typing Relation
Designing tableau-like axiomization for Propositional Linear Temporal Logic at home of Arthur Prior
Equational Axiomatization of Bicoercibility for Polymorphic Types
Extensions of Initial Models and Their Second-Order Proof Systems
FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015
How to Win a Game with Features
Monadic State: Axiomatization and Type Safety
Nonfinite Axiomatizability of Shuffle Inequalities
Nonfinite Axiomatizability of the Equational Theory of Shuffle
Notes on Logical Axiomatization of Density Concepts
On Compositional Reasoning in the Spi-calculus
On First Order Logic of Proofs
Proof Systems for Cause Based Equivalences
Semantic Extraction for the Automatic Verification of VHDL Descriptions
Sematics in Data and Knowledge Bases: Revised Selected Papers/4th International Workshop, SDKB 2010, Bordeaux, France, July 2010
Term Rewriting Properties of SOS Axiomatisations
The Church-Turing Thesis over Arbitrary Domains
The Nonexistence of Finite Axiomatisations for CCS congruences
Аксиоматизация тотальной корректности программ с операторами перехода
Аксиоматика распределения памяти
К проблеме синтеза информационных объектов
Некоторые вопросы аксиоматизируемых классов моделей