Problems in rewriting III (Q5055847)

From MaRDI portal
scientific article; zbMATH DE number 7631275
Language Label Description Also known as
English
Problems in rewriting III
scientific article; zbMATH DE number 7631275

    Statements

    title
    Problems in rewriting III (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
    zbMATH DE Number
    7631275
    0 references
    OpenAlex ID
    W1519212137
    0 references
    cites work
    Q4264733
    0 references
    Q4282593
    0 references
    Q4281465
    0 references
    Q4264712
    0 references
    Q4205074
    0 references
    Q4385532
    0 references
    Q4281553
    0 references
    Q3786024
    0 references
    Q4692468
    0 references
    Q3327710
    0 references
    Q4036585
    0 references
    Q3918095
    0 references
    Q4281554
    0 references
    Q4705602
    0 references
    Q3024846
    0 references
    Clausal rewriting
    0 references
    Q4954455
    0 references
    Q4937190
    0 references
    Q4501166
    0 references
    Q4255512
    0 references
    Q4942621
    0 references
    Q4281488
    0 references
    Q3358706
    0 references
    Q3994754
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5055847&oldid=37470983"
    Powered by MediaWiki