scientific article; zbMATH DE number 1759745
From MaRDI portal
Publication:4536762
zbMath0988.68743MaRDI QIDQ4536762
Shivakant Mishra, Jeffrey van Baalen, James L. Caldwell
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Artificial intelligence (68T99) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (3)
Rewriting logic: Roadmap and bibliography ⋮ Executable structural operational semantics in Maude ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Uses Software
This page was built for publication:
