scientific article; zbMATH DE number 753781
From MaRDI portal
Publication:4698614
zbMath0817.03005MaRDI QIDQ4698614
José Meseguer, Narciso Martí-Oliet
Publication date: 27 July 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Abstract deductive systems (03B22) Other applications of logic (03B80) Abstract model theory (03C95)
Related Items (9)
Rewriting logic: Roadmap and bibliography ⋮ Towards Logical Frameworks in the Heterogeneous Tool Set Hets ⋮ April the 19th ⋮ A decade of TAPSOFT ⋮ Twenty years of rewriting logic ⋮ Rewriting logic as a semantic framework for concurrency: a progress report ⋮ Unnamed Item ⋮ On what exactly goes on when software is developed step-by-step. II: The sequel ⋮ Reflection in conditional rewriting logic
This page was built for publication:
