Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69

Warning: Undefined array key "clientWidth" in /var/www/html/w/includes/Media/SvgHandler.php on line 447

Warning: Undefined array key "clientHeight" in /var/www/html/w/includes/Media/SvgHandler.php on line 448

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 68

Deprecated: round(): Passing null to parameter #1 ($num) of type int|float is deprecated in /var/www/html/w/includes/Media/ThumbnailImage.php on line 69
Tuple interpretations for termination of term rewriting - MaRDI portal

Tuple interpretations for termination of term rewriting (Q2102931)

From MaRDI portal





scientific article; zbMATH DE number 7632089
Language Label Description Also known as
English
Tuple interpretations for termination of term rewriting
scientific article; zbMATH DE number 7632089

    Statements

    title
    Tuple interpretations for termination of term rewriting (English)
    0 references
    author
    Akihisa Yamada
    0 references
    publication date
    12 December 2022
    0 references
    zbMATH Keywords
    term rewriting
    0 references
    termination
    0 references
    interpretation method
    0 references
    algebra
    0 references
    describes a project that uses
    z3
    0 references
    AProVE
    0 references
    Tyrolean
    0 references
    NaTT
    0 references
    CoLoR
    0 references
    CiME
    0 references
    CeTA
    0 references
    MU-TERM
    0 references
    TPDB
    0 references
    cites work
    Q5389068
    0 references
    Maximal Termination
    0 references
    Q3077191
    0 references
    Q4494366
    0 references

    Identifiers

    zbMATH DE Number
    7632089
    0 references
    OpenAlex ID
    W4287577798
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q2102931&oldid=43757989"
    Powered by MediaWiki