scientific article; zbMATH DE number 7356843

zbMath1464.68189arXiv1307.7446MaRDI QIDQ4992502

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir

Publication date: 9 June 2021

Full work available at URL: https://arxiv.org/abs/1307.7446

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

SOS rule formats for idempotent terms and idempotent unary operators

Uses Software

• Maude

This page was built for publication: