Heyting Algebras and Formal Languages.

Werner Kuich Norbert Sauer Friedrich J. Urbanek

Published in: J. Univers. Comput. Sci. (2002)

Keyphrases

formal languages
formal language theory
natural language
set theory
context free grammars
formal language
pattern languages
expert systems
fuzzy logic
software engineering
pattern matching
background knowledge
multistage
natural language interface