Вы здесь

Главная

алгебра

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

A Parallel Block Implementation of Level-3 BLAS for MIMD Vector Processors
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./11th Intern. Symp., AAECC-11 Paris, France, July 1995
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./13th Intern. Symp., AAECC-13. Honolulu, Hawaii, USA, November 1999
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./15th Intern. Symp., AAECC-15, Toulouse, France, May 2003
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./16th International Symposium, AAECC-16. Las Vegas, NV, USA, February 2006
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./17th International Symposium, AAECC-17. Bangalore, India, December 2007
Approximate Bisimilarity
A Process Algebra Based on Linda
A Process Algebra for Real-Time Programs
A Process Algebra for Synchronous Concurrent Constraint Programming
A Proof Rule for Control Loops
A Query Algebra for Fragmented XML Stream Data
A Real Time Process Logic
A Recursive Algebra for Nested Relations
A Refined View of the Box Algebra
A Refinement Algebra for Object-Oriented Programming
A Relational Object Model
A Relational Programming System with Inferred Representations
A Relatonal Algebra for Functional Logic Deductive Databases
A Representation Theorem for Lambda Abstraction Algebras
A Semi-monad for Semi-structured Data (ICDT Version)
A simple abstract semantics for equational theories
A Simple General Purpose Technique for Interfacing between Computer Algebra and Numerical Analysis Systems
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol
A Symbolic Semantics for the -calculus
A Synergy between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes
A Tape System for Computer Algebra
A Theory of Bisimulation for the pi-Calculus
A Tool Interface Language for PSF
Attribute Metadata for Relational OLAP and Data Mining
A Unified-Algebra-based Specification Language for Symbolic Computing
A Unified Algebraic Framework for Specifying Communication Protocols
Automata, Languages and Programming: Proc./23rd International Colloquium,ICALP 96. Paderborn,Germany,July 1996
Automata, Languages and Programming: Proc./30th Intern. Colloq., ICALP 2003, Eindhoven, The Netherlands, June-July 2003
Automata, Languages and Programming: Proc./32nd International Colloquium, ICALP 2005. Lisbon, Portugal, July 2005
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
Automatic Compositional Verification of Some Security Properties
Automatic Generation of XML from Relations: The Nested Relation Approach
A Visual Formalism for the Composition of Stochastic Petri Nets
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
Axiomatizing the Algebra of Net Computations and Processes
Basic Process Algebra with Iteration: Completeness of Its Equational Axioms
Bisimulation Algorithms for Stohastic Process Algebras and Their BDD-Based Implementation
Bisimulation Lattice of Chi Processes
Boolean Algebra of Shape Analysis Constraints
Boolen Algebras for Concurrency. Abstract
Branching Time and Abstraction in Bisimulation Semantics
Building a Computer Algebra Environment by Composition of Collaborative Tools
Calculi for Interaction
Categories and Types in Logic, Language, and Phisics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday