Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
подстановка
Связанные издания:
A Compiler for Rewrite Programs in Associative-Communicative Theories
A Demand Driven Computation Strategy for Lazy Narrowing
A Lattice of Abstract Graphs
A Maximum Path Lenght Pumping Lemma for Edge-Replacement Languages
A Substitution Operation for Constraints
Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement
Development of Rewriting Strategies
Five Facets of Hyperedge Replacement Beyond Context-Freeness
Lower Bound for Complexity of Product of Linear Combinations
Narrowing Approximations as an Optimization for Equational Logic Programs
Pattern Languages: Problems of Decidability and Generation
Rewriting, Mobius Functions and Semi-Communications
Semantics of the Typed lambda-calculus with Substitution in a Cartesian Closed Category
Synchronous-Asynchronous Cellular Computations
The Rewrite Approach to Combined Logic and Functional Programming
Variable Substitution with Iconic Combinators
Корректность клеточных вычислений в пространствах типа пирамиды и гиперкуба
Моделирование искусственной биологической клетки в мелкозернистой структуре
О некоторых необходимых условиях параллельного применения систем подстановок
Программа-конструктор клеточных самовоспроизводя ихся структур
Реализация синтаксически управляемых открытых подстановок
Системы подстановки термов
Современные методы межпроцедурного анализа программ