scientific article; zbMATH DE number 1406013

zbMath0947.68084MaRDI QIDQ4939014

Alain Lecomte, Christian Retoré

Publication date: 29 May 2000

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

zbMATH Keywords

proof netsyntactic calculus

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Parsing pregroup grammars and Lambek calculus using partial composition ⋮ Pomset Logic

This page was built for publication: