Equational Theorem Proving for Clauses over Strings (Q6118747)

From MaRDI portal
Revision as of 23:58, 25 July 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q121863166, #quickstatements; #temporary_batch_1721947977513)
scientific article; zbMATH DE number 7810645
Language Label Description Also known as
English
Equational Theorem Proving for Clauses over Strings
scientific article; zbMATH DE number 7810645

    Statements

    title
    Equational Theorem Proving for Clauses over Strings (English)
    0 references
    author
    Dohan Kim
    0 references
    publication date
    28 February 2024
    0 references

    Identifiers

    arXiv ID
    2303.13257
    0 references
    DOI
    10.4204/eptcs.376.6
    0 references
    zbMATH DE Number
    7810645
    0 references
    Wikidata QID
    Q121863166
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6118747&oldid=36692020"
    Powered by MediaWiki