Inheritance hierarchies: Semantics and unifications (Q1124313): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: An algebraic semantics approach to the effective resolution of type equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Login: a logic programming language with built-in inheritance / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving Properties of Programs by Structural Induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3332229 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3221381 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete sets of unifiers and matchers in equational theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3962973 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3716279 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recursive data structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Mechanical Evaluation of Expressions / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Efficient Unification Algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3684068 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992707 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3338215 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3484383 / rank
 
Normal rank

Revision as of 09:21, 20 June 2024

scientific article
Language Label Description Also known as
English
Inheritance hierarchies: Semantics and unifications
scientific article

    Statements

    Inheritance hierarchies: Semantics and unifications (English)
    0 references
    0 references
    0 references
    1989
    0 references
    Inheritance
    0 references
    feature types
    0 references
    Feature unification
    0 references
    algebraic specifications
    0 references
    order-sorted equational logic
    0 references
    initial algebra semantics
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references