Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
исчисление
Связанные издания:
Abstract Interpretation of Proofs: Classical Propositional Calculus
A Calculus for Cryptographic Protocols: The Spi Calculus
A Calculus for Higher Order Procedures with Global Variables
A Calculus for Link-Time Compilation
A Calculus for Long-Running Transactions
A Calculus for Predicative Programming
A Calculus for Set-Based Program Development
Accomodating Subjective Vagueness Through a Fuzzy Extension to the Relational Data Model
A Component Calculus for Modeling the Olan Configuration Language
Action Calculi, or Syntactic Action Structures
A Foundation for Higher-order Concurrent Constraint Programming
A Multiset Semantics for the pi-Calculus with Replication
A new natural structural congruence in the pi-calculus with replication
An Object Calculus with Algebraic Rewriting
A pi-Calculus Semantics for an Object-Based Design Notation
A Solution to Zantema s Problem
A Symbolic Semantics for the -calculus
A Theory of Bisimulation for the -calculus
A Theory of Bisimulation for the pi-Calculus
A Typed Process Calculus for Fine-Grained Resource Access Control to Distributed Computation
A Typing System for a Calculus of Objects
Behavioral and Spatial Observations in a Logic for the pi-Calculus
Behavioural Equivalence for Infinite Systems - Partially Decidable!
Calculi for Interaction
Calculi for Synchrony and Asynchrony
Computability and Decidability
Computation Calculus - Bridging a Formalization Gap
Computing and Combinatorics: Proc./17th Annual International Conference, COCOON 2011, Dallas,TX,USA, August 2011
Confluence of Processes and Systems of Objects
Control-Flow Analysis in Cubic Time
Cut-free Display Calculi for Relation Algebras
Description d une Interface Interactive et Graphigue pour des Systemes de Manipulation Sumbolique et Ebauche de Spesification Formelle
Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions
Domain Independence and the Relational Calculus
Duration Calculi: An Overview
Efficient Local Model-Checking for Fragments of the Modal -Calculus
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
Event Structure Semantics for Nominal Calculi
Formal Methods in Artificial Intelligence
Games and Modal Mu-Calculus
General Refinement and Recursion Operators for the Petri Box Calculus
Herbrand Methods in Sequent Calculi: Unification in LL
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts
Higher-order Action Calculi
Integrating Variants of DC
Interpreting Broadcast Communication in SCCS
Linearity and the Pi-Calculus
Linear Unification of Higher-Order Patterns
Logical Foundations of Computer Science: Proc./International Workshop, LFCS 2009. Deerfield Beach, FL, USA, January 2009
Logic and Its Applications: Proc./4th Indian Conference, ICLA 2011, Delhi, India, January 2011
1
2
следующая ›
последняя »