On the specification of visual languages: multisets as first-class citizens
From MaRDI portal
Publication:6560194
DOI10.1007/BFB0037422zbMATH Open1541.68224MaRDI QIDQ6560194
Publication date: 21 June 2024
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Cites Work
- Title not available (Why is that?)
- Modular termination of \(r\)-consistent and left-linear term rewriting systems
- A total AC-compatible ordering based on RPO
- On the modularity of termination of term rewriting systems
- Foundations of equational logic programming
- Completion of a Set of Rules Modulo a Set of Equations
- Complete Sets of Reductions for Some Equational Theories
- Modularity of completeness revisited
This page was built for publication: On the specification of visual languages: multisets as first-class citizens
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560194)
