scientific article; zbMATH DE number 1231674

zbMath0917.68105MaRDI QIDQ4223002

José Meseguer, Carolyn L. Talcott

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#15023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

open mechanized reasoning systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) General topics in artificial intelligence (68T01)

Related Items (2)

The control layer in open mechanized reasoning systems: Annotations and tactics ⋮ Actor theories in rewriting logic

This page was built for publication: