Вы здесь

Главная

унификация

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

Halting Problem of One Binary Horn Clause is Undecidable
Herbrand Methods in Sequent Calculi: Unification in LL
Higher-Order and Semantic Unification
Higher Order Babel: Language and Implementation
Higher-Order E-Unification for Arbitrary Theories
Higher-order Polymorphic Unification for Logic Programming
Higher-Order Rigid E-Unification
Higher-Order Unification as a Theorem Proving Procedure
Higher Order Unification via Explicit Substations
Homotopic deductions in unification logic
How to Realize LSE Narrowing
Implementation of a Universal Unification Algorithm for Macro Tree Transducers
Implementation of a UU-Algorithm for Primitive Recursive Tree Functions
Improving the Register Allocation in WAM by Reordering Unification
Improving Transformation Systems for General E-Unification
Lazy Narrowing: Strong Completeness and Eager Variable Elimination
Lazy Unification with Simplification
Linear Unification of Higher-Order Patterns
Localizations of Unification Freedom through Matching Directions
Logic and Logic Programming
Logic, Language, and Computation: Revised Selected Papers/10th International Tbilisi Symposium, TbiLLC 2013, Gudauri, Georgia, September 2013
Logic Program Schemas, Constraints, and Semi-unification
Metastructures vs. Attributed Variables in the Context of Extensible Unification
Minimal Set Unification
Modular AC Unification of Higher-Order Patterns
Monadic Constructs for Logic Programming
Narrowing Approximations as an Optimization for Equational Logic Programs
Narrowing Techniques Applied to Idempotent Unification
NSTO Programs (Not Subject To Occur-check)
On the Occur-Check-Free PROLOG Programs
On the Practicality of Abstract Equation Systems
On the Unification Free Prolog Programs
On the Unification of Substitutions in Type Inference
On Tree Pattern Unification Problems
Order-Sorted Feature Theory Unification
Presentation et evaluation de la complexite en moyenne des algorithmes d unification
Programming Languages and Systems: Proc./12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 2014
Quod Iicet Jovi...
Reasoning Inductively about Z Specifications via Unification
Register Allocation in WAM
Retrieving Terms and their Variants in a Lexicalized Unification-Based Framework
Rewriting Techniques and Applications: Proc./5th Intern. Conf., RTA-93. Montreal, Canada, June 1993
Rigid E-Unification Simplified
Rigid Reachability
Rigid Unification by Completion and Rigid Paramodulation
Running Higher-Order Unification in PaiLisp
Second-Order Unification and Type Inference for Church-Style Polymorphism
Semi-Unification and Generalizations of a Particularly Simple Form
Semi-Unification and Generalizations og a Particulary Simple Form
Set-Term Matching in Logic Programming