On the Algebraization of Some Gentzen Systems.

Jordi Rebagliato Ventura Verdú

Published in: Fundam. Informaticae (1993)

Keyphrases

computing systems
management system
real time
information systems
multimedia
image segmentation
data streams
intelligent systems
computer systems