Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
EATCS Bull.
Связанные издания:
0*=
Advances in Asynchronous Circuit Theory. Part II: Bounded Inertial Delay Models, MOS Circuits, Design Techniques
Algebraic High-Level Net Transforation Systems: A Survey over Theory and Applications
Algebraic Programming in Opal
Algebraic Programming in OPAL
Algebraic Techniques in Software Development
All Action-Based Behavioural Equivalences are Undecidable for Labelled Petri Nets
A Machine Model for NP-approximation Problems and the Revenge of the Boolean Hierarchy
Amalgamation and Extension in the Framework of Specification Logic and Generalized Morphisms
A Note on Graftings, Rotations, and Distances in Binary Trees
A note on minimal cover-automata for finite languages
A Representation Theorem for languages accepted by Watson-Crick finite automata
A Short Introduction to Neural Associative Memories
A Survey of Categorial Computation: Fixed Points, Partiality, Combinators, ... Control?
Bounded Petri Nets of Finite Dimension Have Only Finitely Many Reachable Markings
Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design
CEDISYS: Compositional Distributed Systems Final Report
Characterizing Confusion
COMPASS a COMPrehensive Algebraic approach to System Specification and Development
Complexity Classes for Partial Functions
Computing by Graph Transformation (COMPUCRAPH)
Concurrency Cliches in CCS and CPN
Concurrent Versus Sequential the Rough Sets Perspective
Cooperating/Distributed Grammar Systems: a Link between Formal Languages and Artificial Intelligence
Decidability Issues for Infinite-State Processes - a Survey
Decidability Issues for Petri Nets - a servey
Decision Logic
Decision Problems Concerning the Thinness of Dol Languages
Declarative Semantics of Logic Programming
Density in discrete systems
Detecting and Correcting Operation Errors of Distributed Systems
Does Concurrency Theory Have Anything to Say about Parallel Programming
Efficient Global Computations on a Processor Network with Programmable Logic
Epistemic Logic for Computer Science: A Tutorial (Part One)
Evolving Algebras: A Tutorial Introduction
Final Report on ESPRIT BRA Project 3096 - SPEC
FLEX: A Flexible Extension and Integration Concept for Software Development in KORSO and COMPASS
Forms of Semantic Specification
Fundamental Ideas of Computer Science
Graph Grammars, Monadic Second-Order Logic and the Theory of Graph Minors
Homotopy and Concurrency
Infinite (Almost Periodic) Words, Formal Languages and Dynamical Systems
Is #P Closed Under Subtraction?
JACK: Just Another Concurrency Kit.
lgorithms for Memory Hierarchies
Linking Algebraic High Level Nets and Dynamic Abstract Data Types
Logic on Words
Note on Calculi for a Three-Valued Logic for Logic Programming
On constructing obstruction sets of words
One letter context-free languages revisi ted
1
2
следующая ›
последняя »