Вы здесь

Главная

алгебра

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

Discrete Time Process Algebra with Abstraction
Distributed Conflicts in Communicating Systems
Dynamically-Typed Computations for Order-Sorted Equational Presentations
Dynamic Systems Based on Update Sets
Efficient Algorithms for Qualitative Reasoning About Time
Efficient Evaluation of Incremental Join in Distributed Active Databases
Efficient Representation and Algebraic Manipulation of Infinite Relations in Paraconsistent Databases
Eine Algebra fur das EER-Modell
Embeddings of Hybrid Automata in Process Algebra
Encoding PAMR into (Timed) EFSMs
Equational Axioms of Test Algebra
ESP-MC: An Experiment in the Use of Verification Tools
Estimating Data Accuracy in a Federated Database Environment
Evolving Algebras 1993: Lipari Guide
Evolving Algebras: A Tutorial Introduction
Exploiting Parallelism in Primitive Operations on Bulk Data Types: Some Results
Expressiveness Results for Process Algebras
Extending the HOL Theorem Prover with a Computer Algebra System to Reason About the Reals
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability
Final Universes of Processes
Formal Concept Analysis: Proc./4th International Conference, ICFCA 2006. Dresden, Germany, February 2006
Formalising an Integrated Language in PVS
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra
Formal Methods for Extensions to CAS
Formal Semantics of the ODMG 3.0 Object Query Language
Formal Techniques for Distributed Systems: Proc./Joint 11th IFIP WG6.1 Intl Conference FMOODS 2009 & 29th IFIP WG6.1 Intl Conference FORTE 2009. Lisboa, Portugal, June 2009
Foundations of a Theory of Synchronous Systems
Free Shuffle Algebras in Language Varieties
From algebra to operational semantics
From ATP to Timed Graphs and Hybrid Systems
From -calculus to Higher-Order -calculus and back
From CML to Process Algebras
From Petri Nets to Linear Logic
From Processor Timing Specifications to Static Instruction Scheduling
Fully abstract compositional semantics for an algebra of logic programs
Gauss: a Parameterized Domain of Computation System with Support for Signature Function
Generating BDD Models for Process Algebra Terms
Generation d execices en algebre, premieres approches dans le cadre du projet APLUSIX
Generic Process Algebras for Asynchronous Communication
GFUN: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies
Graphs Make Initial Continious Algebras
Grouped Processing of Relational Algebra Expressions over Data Streams
Handling Schema Evolution Functions Using an Object Algebra
Heterogeneous Unified Algebras
Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/First Intern. Workshop, HOA 93. Amsterdam, The Netherlands, September 1993
Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/Second Intern. Workshop, HOA 95. Paderborn, Germany, September 1995
Higher Order Logic Theorem Proving and Its Applications: Proc./6th Intern. Workshop, HUG 93. Vancouver, B.C., Canada, August 1993
Higher-Order Processes and Their Models
High Level Language STAR for Associative Parallel Processors and Its Application to Relational Algebra