Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
унификация
Связанные издания:
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis
A Complete Connection Calculus with Rigid E-Unification
A Conservative Approach to Meta-Programming in Constraint Logic Programming
AC Unification in HOL90
AC-Unification Race: The System Solving Approach, Implementation and Benchmarks
A Feature Constraint System for Logic Programming with Entailment
A General Framework for R-Unification Problems
A Hierarchical Associative Memory Architecture for Logic Programming Unification
Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
A Mode Analysis of Logic Programs by Abstract Interpretation
A multi-branch narrowing: satisfiability and termination
An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification
Analogy by Generalization- and the Quest of the Grail
Analyses of Inconsistency for Incremental Equational Logic Programming
A New Scheme for Unification in WAM
A New Sorted Logic
An Implementation of a Dialogue Processing System COKIS Using a Corpus Extracted Knowledge
A Note on Covariance and Contravariance Unification
A Predicate Transformer for Unification
Array Unification: A Locality Optimization Technique
A Rule-based Algorithm for Rigid E-unification
A Simple Approach to Finding the Cause of Non-unifiability
A Synergistic Analysis for Sharing and Groundness which Traces Linearity
A theorem proving associative processor
A unification graph with constraints for intelligent backtracking in deduction systems
A Unification of Ordering Refinements of Resolution in Classical Logic
Automata-Driven Efficient Subterm Unification
Average case analysis of unification algorithms
Average Case Analysis of Unification Algorithms
Avoiding Dynamic Delays in Functional Logic Programs
A WAM-Based Implementation of a Logic Language with Sets
C-Expressions: A Variable-Free Calculus for Equational Logic Programming
Combination of Unification Algorithms in Equational Theories
Communication as Unification in Process Algebras: Operational Semantics
Communication as Unification in Process Algebras: Operational Semantics
CONCUR 90:Proc./Theories of Concurrency: Unification and Extension. Amsterdam, The Netherlands, August 1990
Conditional Term Rewriting Systems: Proc./Third Intern. Workshop, CTRS-92. Pont-a-Mousson, France, July 1992
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis
Deriving and Applying Logic Program Transformers
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Dynamically-Typed Computations for Order-Sorted Equational Presentations
Dynamic File Allocation in Disk Arrays
Equational Logic Programming, Actions, and Change
Exploiting Small Clauses in Automatic Theorem Proving
Finding Advantageous Orders for Argument Unification for the Prolog WAM
Formal Techniques for Distributed Systems: Proc./Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 2012
Freeness, Sharing, Linearity and Correctness - All at Once
Generalized Unification as Background Knowledge in Learning Logic Programs
General Solution of Mirror Equation
1
2
3
следующая ›
последняя »