Вы здесь

Главная

Acta Informatica

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

1998 Annual Report
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach
A Calculus for Cryptographic Protocols: The Spi Calculus
A Complete Algebraic Characterization of Behavioral Subtyping
A compositional dataflow semantics for Petri nets
A comprehensive database schema integration method based on the theory of formal concepts
A Construction of Distributed Reference Counting
Adding Inclusion Dependencies to an Object-Oriented Data Model with Uniqueness Constraints
A decision procedure for propositional projection tempotal logic with infinite models
A Deterministic skip list for k-dimensiona; range search
A Direct Complement Construction for LR(1) Grammars
A Distributed QoS-Aware Multicast Routing Protocol
Aequivalente Transformationen fuer Flussdiagramme
A fixed point approach to parallel discrete event simulation
A Formal Identification between Tuples and Lists with an Application to List-arithmetic Categories
A Fully Abstract Semantics for Causality in the Pi-calculus
A Functional Approach for Temporal x Modal Logics
A General Procedure to Check Conjunctive Query Containment
A kernel language for programmed rewriting of (hyper)graphs
Algebraic Computational Models of OR-parallel Execution of Prolog
Algebraic models of microprocessors. Architecture and organisation
Alias Analysis of Pointers in Pascal and Fortran 90: Dependence Analysis between Pointer References
A Logic-Based Approach to Program Flow Analysis
A modal logic for message passing processes
Amortized Constant Relaxed Rebalancing Using Standard Rotations
An abstract data type for name analysis
An Algebra for Process Creation
An All-Round Sweep Algorithm for 2-Dimensional Nearest-Neighbor Problems
Analysis of a Class of Communicating Finite State Machines
Analytic Variations on Bucket Selection and Sorting
An Analysis and Implementation of an Efficient In-place Bucket Sort
An axiomatization of graphs
An Efficiency Preorder for Processes
A new natural structural congruence in the pi-calculus with replication
An Experience in Proving Regular Networks of Processes by Modular Model Checking
An optimal algorithm for decomposing a window into maximal quadtree blocks
An Optimal Algorithm for Solving the Searchlight Guarding Problem on Weighted Two-terminal Series-parallel Graphs
A Note on Pure p-pure Languages
A Petri nets semantics for data flow networks
Applicating of a Categorical Framework for Conceptual Data Modeling
Approximating Traces
A Recursive Second Order Initial Algebra Specification of Primitive Recursion
A Robust and Efficient Spatial Data Structure
A Run-Time Load Balancing Strategy for Highly Parallel Systems
A semantic approach to optimize linear datalog programs
A simple, fast, and effective LL(1) error repair algoritm
A Survey of Stream Processing
Asymptotic Expansions of the Mergesoft Recurrences
A Theory of Bisimulation for the -calculus
A Theory of Bunches