On Reduction Systems Equivalent to The Lambek Calculus with the Empty String.

Wojciech Zielonka

Published in: Stud Logica (2002)

Keyphrases

management system
computing systems
information systems
data structure
intelligent systems
building blocks
learning systems
complex systems
regular expressions
data sets
information retrieval
data model
distributed systems