scientific article; zbMATH DE number 6792355

DOI10.4230/LIPICS.FSCD.2016.22zbMath1387.03028MaRDI QIDQ5369487

Connor Smith, Stefan Kahrs

Publication date: 17 October 2017

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

zbMATH Keywords

consistencyuniqueness of normal formsomega-substitutions

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (1)

Unnamed Item

This page was built for publication: