On the Jordan-Hölder decomposition of proof nets.

Quintijn Puite Harold Schellinx

Published in: Arch. Math. Log. (1997)

Keyphrases

theorem proving
decomposition method
digital topology
hierarchical decomposition
database
real time
information retrieval
relational databases
artificial neural networks
evolutionary algorithm
image compression
inference rules
wavelet packet