On Forward Closure and the Finite Variant Property (Q2849500): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q118190387, #quickstatements; #temporary_batch_1710289860281
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-642-40885-4_23 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2112044534 / rank
 
Normal rank

Latest revision as of 01:18, 20 March 2024

scientific article
Language Label Description Also known as
English
On Forward Closure and the Finite Variant Property
scientific article

    Statements

    On Forward Closure and the Finite Variant Property (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    20 September 2013
    0 references
    equational unification
    0 references
    finite variant property
    0 references
    forward closure
    0 references
    term rewriting
    0 references
    undecidability
    0 references

    Identifiers