Algebraic Specification of a Text Editor.

Helmuth Partsch

Published in: ADT (1983)

Keyphrases

database
text retrieval
information retrieval
free text
keywords
artificial intelligence
specification language
string matching
text data
text analysis
textual data
automatically extracted
text information
natural language text
key concepts
text documents
petri net
text mining
machine learning