Open problems in rewriting (Q5055780)

From MaRDI portal
scientific article; zbMATH DE number 7631191
Language Label Description Also known as
English
Open problems in rewriting
scientific article; zbMATH DE number 7631191

    Statements

    title
    Open problems in rewriting (English)
    0 references
    author
    Nachum Dershowitz
    0 references
    Jean-Pierre Jouannaud
    0 references
    Jan Willem Klop
    0 references
    publication date
    9 December 2022
    0 references
    Mathematics Subject Classification ID
    68Q42
    0 references
    03B35
    0 references
    68V15
    0 references
    zbMATH DE Number
    7631191
    0 references
    OpenAlex ID
    W1550542381
    0 references
    cites work
    Q3993363
    0 references
    Q3484358
    0 references
    Q4000281
    0 references
    Systems of reductions
    0 references
    Q4385532
    0 references
    Q4035665
    0 references
    Q4722037
    0 references
    Q3992573
    0 references
    Q4036585
    0 references
    Q4619820
    0 references
    Q3918095
    0 references
    Q3817590
    0 references
    Clausal rewriting
    0 references
    Q3776590
    0 references
    Q3338215
    0 references
    Q3830525
    0 references
    Q3358706
    0 references
    Q3202990
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5055780&oldid=37470923"
    Powered by MediaWiki