scientific article; zbMATH DE number 2090077

zbMath1045.68577MaRDI QIDQ4808751

Claude Kirchner, Olivier Bournez

Publication date: 12 August 2004

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (10)

Twenty years of rewriting logic ⋮ QMaude: quantitative specification and verification in rewriting logic ⋮ Probabilistic Termination by Monadic Affine Sized Typing ⋮ Confluence and convergence modulo equivalence in probabilistically terminating reduction systems ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ On randomised strategies in the \(\lambda \)-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Confluence Results for a Quantum Lambda Calculus with Measurements ⋮ Confluence in probabilistic rewriting

Uses Software

• ELAN

This page was built for publication: