Вы здесь

Главная

EATCS Bull.

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

On Extended Attribute Grammars
On Reseting DLBA s
On Specialization Hierarchies of Mutable Objects
OR-Parallelism in Theorem Proving: Speedups versus Timeout
Petri Nets: Fundamentals, Essentials, Consequences
Predictably Dependable Computing Systems: Summary Report
Primality Types of Instances of the Post Correspondence Problem
Recursive graphs are not stable under maximal reduction
Regular Languages, Sizes on Syntactic Monoids,Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other
Restriction Constructions in Specification Logics
Results of the Esprit Basic Research Action 3148 DEMON (Design Methods Based on Nets)
Safety and Liveness Properties: A Survey
Surveys and Tutorials
The "3x+1" Problem and Finite Automata
The Algebraic Specification Column
The Computational Power of Compiling C++
The Concurrency Column
The Formal Language Theory Column
The Logic in Computer Science Column
The Logic in Computer Science Column. How to Find a Coin: Propositional Program Logics Made Easy (by Shilov N.V., Yi K.)
The physics of observation: a perspective for concurrency theorists
The River, the Isles and the Bridges
The Structural Complexity Column
Towards an Algebraic Specification Framework for the VLSI Design Process
Towards the Algebraic Specification of Classes in Object Oriented Programming
Verification Tools from the CONCUR project
Yet Another Cautionary Note on Conservative Extensions: A Simple Case with a Computing Flavour
Zero-One Laws