Вы здесь

Главная

алгебра

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

Relational Algebra for Spatial Data Management
Relational Algebra Operations
Relation-Algebraic Analysis of Petri Nets with RELVIEW
Relational Methods in Computer Science: Proc./6th Intern. Conf., RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 2001
Relational Methods in Computer Science: Selected Revised Papers/8th Intl Seminar RMCS; 3rd Intl WS AKA & WS of COST Action 274: TARSKI. St.Catharines, ON, Canada, Feb 2005
Relations and Kleene Algebra in Computer Science: Proc./9th Intl Conference on Relational Methods in CS & 4th Intl WS RelMiCS/AKA 2006. Manchester, UK, Aug/Sep 2006
Rewriting in Order-sorted Equational Logic
Rewriting Regular Inequalities
Rough Sets and Knowledge Technology: Proc./10th International Conference, RSKT 2015 Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin, China, November 2015
Rule-Based Optimization and Query Processing in an Extensible Geometric Database System
Scheduling Algebra
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Semantics and Analysis of Linda-based languages
Semantics and Verification of Object-Role Models
Semantics for Null Extended Nested Relations
Semantics of Object-Oriented Data Models- The Evolving Algebra Approach
Semi-numerical Solution of Stochastic Process Algebra Models
Series-Parallel Posets: Algebra, Automata and Languages
Solving Polynomial Fixed Point Equations
Solving the generalized eigenvalue problem on a synchronous linear processor array
Some Comments from a Numerical Analyst
Special Functions and Infinite-Dimensional Representations of Lie Groups
Specification and Analysis of a Security Management System
Specification and Analysis of Resource-Bound Real-Time Systems
Specification and Verification of Real Time Systems in ACP
Specification of Timing Constraints within the Circal Process Algebra
Specifying and Verifying Parametric Processes
Spreadsheet Computations in Computer Algebra
Stochastic Process Algebras: Benefits for Performance Evaluation and Challenges
Stochastic Process Algebras Meet Eden
Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard
Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
Structural Techniques and Performance Bounds of Stochastic Petri Net Models
Structural, temporal and stochastic properties of unbounded free-choice Petri nets
Structured Operational Semantics for Concurrency and Hierarchy
Structured Operational Semantics for Process Algebras and Equational Axiom Systems
Structures in Logic and Computer Science: A Selection of Essays in Honor of A.Ehrenfeucht
Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams
Synchrony and Asynchrony in Process Algebra
Synthesizing Distinguishing Formulae for Real Time Systems - Extended Abstract
Tailoring Recursion for Complexity
TAPSOFT 91: Proc./Intern. Joint Conf. Theory and Practice of Software Development, Brighton, UK, April 1991. Vol.1
TAX: A Tree Algebra for XML
Template-based Formula Editing in Kaava
Temporal Association Algebra: A Mathematical Foundation for Processing Object-Oriented Temporal Databases
Term Rewriting Analysis in Process Algebra
Term Rewriting and All That
Term Rewriting Properties of SOS Axiomatisations
Testclasses and Closed World Assumptions for Non-Horn Theories
Testing Equivalence for Mobile Processes