Formal Tools for Separating Syntactically Correct and Incorrect Structures.

Martin Plátek Vladislav Kubon Tomás Holan

Published in: IWPT (1997)

Keyphrases

formal methods
formal models
software tools
real world
decision support
information retrieval
artificial intelligence
information systems
data structure
relational databases
image structure
design decisions
computational tools
visual languages