scientific article; zbMATH DE number 2043521
From MaRDI portal
Publication:4447223
zbMath1038.68063MaRDI QIDQ4447223
Mathieu Hoyrup, Olivier Bournez
Publication date: 16 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060061.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (7)
Unnamed Item ⋮ Twenty years of rewriting logic ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ On the hardness of analyzing probabilistic programs ⋮ The vectorial \(\lambda\)-calculus ⋮ Confluence in probabilistic rewriting
This page was built for publication:
