Вы здесь

Главная

унификация

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

Simple second-order languages for which unification is undecidable
Software Engineering and Formal Methods: Proc./9th International Conference, SEFM 2011, Montevideo, Uruguay, November 2011
Solving a Unification Problem under Constrained Substitutions Using Tree Automata
Some Independence Results for Equational Unification
Specifications as Search Keys for Software Libraries
"Syntactic" AC-Unification
Techniques for Process Analysis and Unification
Termination of Logic Programs using Semantic Unification
Term Rewriting and Applications: Proc./17th International Conference, RTA 2006. Seattle, WA, USA, August 2006
Theorem Proving Using Equational Matings and Regid E-Unification
Theory Unification in Abstract Clause Graph
The Unification Hierarchy is Undecidable
The Unification of Three Calculi
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification
Towards a Unifying Logic Formalism for Semantic Data Models
Towards the Unification of Views and Versions for Object Databases
Une mise en oeuvre de l unification d expressions booleennes
UNIF 89: Extended Abstracts of the 3rd Intern. Workshop on Unification
Unification Algorithms for Boolean Rings
Unification-free Execution of Well-moded and Well-typed Prolog Programs
Unification in a Combination of Arbitrary Disjoint Equational Theories
Unification in a Lambda-Calculus with Intersection Types
Unification in a Sorted -Calculus with Term Declarations and Function Sorts
Unification in Commutative Theories, Hilbert s Basis Theorem, and Grobner Bases
Unification in Commutative Theories, Hilbert s Basis Theorem, and Groibner Bases
Unification in Conditional - Equational Theories
Unification in Permutative Equational Theories Is Undecidable
Unification of Simply Typed Lambda-Terms as Logic Programming
Unification Using a Distributed Representation
Unifying dynamic programming design patterns
Uses of Higher-Order Unification for Implementing Program Transformers
Why the Occur-check is Not a Problem
Библиотека унифицированных процедур для проектирования программного обеспечения АРМ в среде FoxPro
Взаимодействие как унификация в алгебрах процессов: операционная семантика
Об унификации поведенческих эквивалентностей временных систем переходов
Об унификации типов данных
Построение и анализ алгоритма универсальной унификации в VDM
Проблемы и перспективы стандартизации и унификации программных интерфейсов
Проблемы унифицированной реализации стандартных и произвольных типов данных
Семантическая унификация в многоязыковом оптимизирующем трансляторе
Технология объектно-ориентированных баз данных