Backward Trace Slicing for Conditional Rewrite Theories (Q2891440)

From MaRDI portal
Revision as of 08:57, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Backward Trace Slicing for Conditional Rewrite Theories
scientific article

    Statements

    title
    Backward Trace Slicing for Conditional Rewrite Theories (English)
    0 references
    author
    Daniel M. Romero
    0 references
    María Alpuente
    0 references
    Demis Ballis
    0 references
    Francisco Frechina
    0 references
    publication date
    15 June 2012
    0 references
    describes a project that uses
    Web-TLR
    0 references
    Freja
    0 references
    Hat
    0 references
    Hood
    0 references
    Maude
    0 references
    ChC 3
    0 references

    Identifiers

    zbMATH DE Number
    6046603
    0 references
    Wikidata QID
    Q57978144
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2891440&oldid=27329668"
    Powered by MediaWiki