scientific article; zbMATH DE number 2019855
From MaRDI portal
Publication:4440551
zbMath1036.03515MaRDI QIDQ4440551
Publication date: 4 January 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveycomplexitycontext-free grammarsnormalizationproof-theoretic approach to formal grammarsproof-theoretic grammars
Logic of natural languages (03B65) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Linguistics (91F20)
This page was built for publication:
