Minimizing function-free recursive inference rules (Q3833657): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1145/58562.59303 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2058952316 / rank
 
Normal rank

Latest revision as of 22:28, 19 March 2024

scientific article
Language Label Description Also known as
English
Minimizing function-free recursive inference rules
scientific article

    Statements

    Minimizing function-free recursive inference rules (English)
    0 references
    1989
    0 references
    programming languages
    0 references
    non-procedural languages
    0 references
    database management
    0 references
    artificial intelligence
    0 references
    deduction and theorem proving
    0 references
    algorithms
    0 references
    languages
    0 references
    theory, verification
    0 references
    deductive database
    0 references
    knowledge-base
    0 references
    optimization of recursion
    0 references
    logic programming
    0 references
    query languages
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references