A Proof System for Type Theory and CCS.

Olov Schelén Nils-Olof Forsgren

Published in: STACS (1989)

Keyphrases

data sets
theoretical basis
database
neural network
information systems
computational model
theoretical framework
real time
computer vision
video sequences
information technology
information theory
conceptual framework
general theory