scientific article; zbMATH DE number 2038889

zbMATH Open1036.68062MaRDI QIDQ4449293FDOQ4449293

Authors: Narjes Berregeb, Riadh Robbana, Ashish Tiwari 

Publication date: 8 February 2004

Full work available at URL: https://eudml.org/doc/123496

Title of this publication is not available (Why is that?)

Recommendations

• Observational proofs by rewriting.
• Observational implementations
• Behavioural theories and the proof of behavioural properties
• scientific article; zbMATH DE number 3898213
• Observational implementation of algebraic specifications

zbMATH Keywords

observationalrewritingcontexts

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (1)

• Observational proofs by rewriting.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449293)