scientific article; zbMATH DE number 1231673
From MaRDI portal
Publication:4223001
zbMath0917.68022MaRDI QIDQ4223001
Christophe Ringeissen, Hélène Kirchner, Pierre-Etienne Moreau, Peter Borovanský, Claude Kirchner
Publication date: 7 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (22)
Rewriting logic: Roadmap and bibliography ⋮ Strategies for combining decision procedures ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ A \(\rho\)-calculus of explicit constraint application ⋮ Labelled graph strategic rewriting for social networks ⋮ Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ A Port Graph Rewriting Approach to Relational Database Modelling ⋮ Strategy based semantics for mobility with time and access permissions ⋮ A survey of strategies in rule-based program transformation systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reachability analysis over term rewriting systems ⋮ Programming and symbolic computation in Maude ⋮ Labelled Graph Rewriting Meets Social Networks ⋮ Generic type-preserving traversal strategies ⋮ Induction for termination with local strategies ⋮ Maude: specification and programming in rewriting logic ⋮ Reflection in conditional rewriting logic ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS
Uses Software
This page was built for publication:
