scientific article; zbMATH DE number 1223620
From MaRDI portal
Publication:4218931
zbMath0910.03033MaRDI QIDQ4218931
Thierry Coquand, Henrik Persson
Publication date: 19 April 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
string-rewriting systemtermination proofType Theorygeneralized inductive definitionsextraction of the constructive content from a non-constructive proof
Grammars and rewriting systems (68Q42) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (4)
Termination proofs for string rewriting systems via inverse match-bounds ⋮ Match-bounded string rewriting systems ⋮ Unnamed Item ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem
This page was built for publication:
