scientific article; zbMATH DE number 1507237

zbMATH Open0960.68085MaRDI QIDQ4503959

Taro Suzuki, Mohamed Hamada, Aart Middeldorp

Publication date: 14 September 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

rewrite systemslazy conditional narrowing calculus

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Completeness Results for Lambek Syntactic Calculus ⋮ Lazy narrowing: strong completeness and eager variable elimination ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4503959)