Login / Signup
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.
Alberto Ciaffaglione
Luigi Liquori
Marino Miculan
Published in:
J. Autom. Reason. (2007)
Keyphrases
</>
formal theory
theoretical framework
database
neural network
machine learning
social networks
logic programming
theoretical foundation
theoretical basis
information retrieval
multiscale
data structure
evolutionary algorithm
general theory