Implementing specifications by dynamic inheritance (Q1326576): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / 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: A transformational approach to negation in logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic and semantic networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3998268 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3198891 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992826 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:59, 22 May 2024

scientific article
Language Label Description Also known as
English
Implementing specifications by dynamic inheritance
scientific article

    Statements

    Implementing specifications by dynamic inheritance (English)
    0 references
    0 references
    0 references
    0 references
    18 May 1994
    0 references
    0 references
    modularity
    0 references
    theory composition
    0 references
    specification
    0 references
    implementation
    0 references
    logic programming
    0 references
    SLD-resolution
    0 references
    inheritance
    0 references