Normality for Gentzen systems in the classical case.

Alessandra Palmigiano

Published in: ESSLLI Student Papers (1999)

Keyphrases

learning systems
database
management system
software engineering
intelligent systems
website
database systems
multiscale
optimal solution
expert systems
information technology
distributed systems
computer systems
complex systems
computing systems