Iteration Grove Theories with Applications

DOI10.1007/978-3-642-03564-7_15zbMath1256.68123OpenAlexW1490738910MaRDI QIDQ3642535

Tamás Hajgató, Zoltán Ésik

Publication date: 5 November 2009

Published in: Algebraic Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03564-7_15

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Algebraic theory of languages and automata (68Q70) Semirings (16Y60) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (5)

A connection between concurrency and language theory ⋮ Unnamed Item ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ Unnamed Item ⋮ Kleene Theorem in Partial Conway Theories with Applications

This page was built for publication: Iteration Grove Theories with Applications