Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Automata, Languages and Programming
Связанные издания:
A characterization of the existence of energies for neural networks
A Domain for Concurrent Termination A Generalization of Mazurkiewicz Traces
Alternation in Simple Devices
Automatic Synthesis of Real Time Systems
Break Finite Automata Public Key Cryptosystem
Causality for Mobile Processes
Compactness of Systems of Equations in Semigroups
Computing the closure of sets of words under partial commutations
Divergence and Fair Testing
Extension Orderings
Fast Gossiping by Short Messages
Generalized Sturmian Languages
GRAMMAR SYSTEMS: A Grammatical Approach to Distribution and Cooperation
Hybrid Automata with Finite Bisimulations
Implicit Definability and Infinitary Logic in Finite Model Theory
Internal mobility and agent-passing calculi
Intervalizing k-Colored Graphs
Nonfinite Axiomatizability of the Equational Theory of Shuffle
Parallel Algorathms with Optimal Speedup for Bounded Treewidth
Polinomial Closure and Unambiguous Product
Post Correspondence Problem: Words Possible as Primitive Solutions
Sensing Versus Nonsensing Automata
Solving Recursive Net Equations
The Algebraic Equivalent of AFL Theory
The Limit of Split -Language Equivalence
Theory of 2-Structures
The PushDown Method to Optimize Chain Logic Programs