A Framework for Defining Logics.

Robert Harper Furio Honsell Gordon D. Plotkin

Published in: J. ACM (1993)

Keyphrases

main contribution
computational framework
neural network
real time
data sets
information systems
multi agent systems
lightweight
expressive power
framework enables