scientific article
From MaRDI portal
Publication:2703688
zbMath0962.68078MaRDI QIDQ2703688
Kai Lin, Joseph A. Goguen, Grigore Roşu
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Rewriting logic: Roadmap and bibliography ⋮ A Decision Procedure for Bisimilarity of Generalized Regular Expressions ⋮ Behavioral abstraction is hiding information ⋮ A meaning based information theory - informalogical space: basic concepts and convergence of information sequences ⋮ Well-Definedness of Streams by Termination ⋮ Towards Behavioral Maude ⋮ A hidden Herbrand theorem: Combining the object and logic paradigms
Uses Software
