scientific article; zbMATH DE number 1231537
From MaRDI portal
Publication:4222853
zbMath0912.68095MaRDI QIDQ4222853
José Meseguer, Steven Eker, Manuel Clavel, Patrick D. Lincoln
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#celm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A complete semantics of \(\mathbb{K}\) and its translation to Isabelle, Towards Logical Frameworks in the Heterogeneous Tool Set Hets, Executable structural operational semantics in Maude, A \(\rho\)-calculus of explicit constraint application, Two Decades of Maude, A scalable module system, Structuring theories with implicit morphisms, Twenty years of rewriting logic, Rewriting logic as a semantic framework for concurrency: a progress report, Coinduction for preordered algebra, Unnamed Item, Unnamed Item, Unnamed Item, Specification and proof in membership equational logic, Unnamed Item, Unnamed Item, Behavioral abstraction is hiding information, Programming and symbolic computation in Maude, Generic type-preserving traversal strategies, A Survey of Rewriting Strategies in Program Transformation Systems, A Logic for Rewriting Strategies, Induction for termination with local strategies, Lazy Rewriting and Context-Sensitive Rewriting, Interactive Simplifier Tracing and Debugging in Isabelle, Automata-driven automated induction, Context-sensitive rewriting strategies, Bigraphs and Their Algebra, Logical foundations of CafeOBJ, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, Actor theories in rewriting logic
Uses Software
Cites Work
