scientific article; zbMATH DE number 5033843

zbMath1098.68029MaRDI QIDQ5472882

Björn Lisper

Publication date: 19 June 2006

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

zbMATH Keywords

combinatory reduction systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Infinitary combinatory reduction systems

This page was built for publication: