Backward Trace Slicing for Conditional Rewrite Theories (Q2891440)

From MaRDI portal
Revision as of 14:33, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
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

    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=23303247"
    Powered by MediaWiki