scientific article; zbMATH DE number 1953901

zbMath1027.68071MaRDI QIDQ4415087

Georg Struth

Publication date: 28 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2561/25610276.htm

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

zbMATH Keywords

rewriting\(\lambda\)-calculusformal mathematicsKleene algebraChurch-Rosser theorem

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Algebraic coherent confluence and higher globular Kleene algebras ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Abstract strategies and coherence

This page was built for publication: