Decidability of code properties.

Henning Fernau Klaus Reinhardt Ludwig Staiger

Published in: Developments in Language Theory (1999)

Keyphrases

source code
open source
description logics
desirable properties
database
real world
computer vision
decision trees
topological properties