Exploring conditional rewriting logic computations (Q485831): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Bots
7,032,692 edits
‎Created a new Item
 
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(14 intermediate revisions by 7 users not shown)
Property / author
 
Property / author: María Alpuente / rank
Normal rank
 
Property / author
 
Property / author: Demis Ballis / rank
Normal rank
 
Property / author
 
Property / author: Francisco Frechina / rank
Normal rank
 
Property / author
 
Property / author: Julia Sapiña / rank
Normal rank
 
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q42 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B70 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68N30 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6386138 / rank
 
Normal rank
Property / zbMATH Keywords
 
rewriting logic
Property / zbMATH Keywords: rewriting logic / rank
 
Normal rank
Property / zbMATH Keywords
 
trace exploration
Property / zbMATH Keywords: trace exploration / rank
 
Normal rank
Property / zbMATH Keywords
 
Maude
Property / zbMATH Keywords: Maude / rank
 
Normal rank
Property / zbMATH Keywords
 
conditional rewrite theories
Property / zbMATH Keywords: conditional rewrite theories / rank
 
Normal rank
Property / author
 
Property / author: María Alpuente / rank
 
Normal rank
Property / author
 
Property / author: Demis Ballis / rank
 
Normal rank
Property / author
 
Property / author: Francisco Frechina / rank
 
Normal rank
Property / author
 
Property / author: Julia Sapiña / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Maude / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: ChC 3 / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Julienne / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: iJulienne / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: DDebugger / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Web-TLR / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Anima / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jsc.2014.09.028 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2079684794 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q57978116 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analysis and caching of dependencies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Backward Trace Slicing for Conditional Rewrite Theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rewriting-based repairing strategies for XML repositories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751360 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Descendants and origins in term rewriting. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantic foundations for generalized rewrite theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Provenance as dependency analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2763681 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4447218 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023900 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rewriting logic: Roadmap and bibliography / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conditional rewriting logic as a unified model of concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing in systems described by equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: The origins of structural operational semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Declarative Debugging of Rewriting Logic Specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Declarative Debugging of Missing Answers for Maude. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Declarative debugging of rewriting logic specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Generic Program Slicing Technique Based on Language Definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4799892 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Origin tracking / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 12:59, 9 July 2024

scientific article
Language Label Description Also known as
English
Exploring conditional rewriting logic computations
scientific article

    Statements

    title
    Exploring conditional rewriting logic computations (English)
    0 references
    publication date
    14 January 2015
    0 references
    Mathematics Subject Classification ID
    68Q42
    0 references
    03B70
    0 references
    68N30
    0 references
    zbMATH DE Number
    6386138
    0 references
    zbMATH Keywords
    rewriting logic
    0 references
    trace exploration
    0 references
    Maude
    0 references
    conditional rewrite theories
    0 references
    author
    María Alpuente
    0 references
    Demis Ballis
    0 references
    Francisco Frechina
    0 references
    Julia Sapiña
    0 references
    describes a project that uses
    Maude
    0 references
    ChC 3
    0 references
    Julienne
    0 references
    iJulienne
    0 references
    DDebugger
    0 references
    Web-TLR
    0 references
    Anima
    0 references
    OpenAlex ID
    W2079684794
    0 references
    Wikidata QID
    Q57978116
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q485831&oldid=35431522"
    Powered by MediaWiki