SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators

DOI10.1007/978-3-642-35843-2_11zbMath1302.68181OpenAlexW2124014048MaRDI QIDQ2927637

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

Publication date: 4 November 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35843-2_11

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55)

Related Items (1)

SOS rule formats for idempotent terms and idempotent unary operators

This page was built for publication: SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators