Strong Normalization of Proof Nets Modulo Structural Congruences.

Roberto Di Cosmo Stefano Guerrini

Published in: RTA (1999)

Keyphrases

structural information
real time
preprocessing
structural constraints
multiresolution
information retrieval
computer vision
information systems
decision making
multiscale
learning environment
information technology
structural analysis
automated theorem proving
normalization method
proof planning