scientific article; zbMATH DE number 1301603
From MaRDI portal
Publication:4246796
zbMath0930.03028MaRDI QIDQ4246796
José Meseguer, Narciso Martí-Oliet
Publication date: 8 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logicplanning problemframe problemrewriting logicMaudeHorn logic with equalityconcurrent object-oriented systemsMaudeLog
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (5)
Rewriting logic: Roadmap and bibliography ⋮ Two Decades of Maude ⋮ Parameterized strategies specification in Maude ⋮ Twenty years of rewriting logic ⋮ On linear logic planning and concurrency
Uses Software
This page was built for publication:
