scientific article; zbMATH DE number 7438158

zbMath1476.68122arXiv1505.07164MaRDI QIDQ5013814

Shinya Sato, Ian Mackie, Abubakar Hassan

Publication date: 2 December 2021

Full work available at URL: https://arxiv.org/abs/1505.07164

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

Cites Work

• Compilation of Interaction Nets
• YALE
• The Mechanical Evaluation of Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: