Login / Signup
Type Directed Semantics for the Calculus of Looping Sequences.
Livio Bioglio
Mariangiola Dezani-Ciancaglini
Paola Giannini
Angelo Troina
Published in:
Int. J. Softw. Informatics (2013)
Keyphrases
</>
database query languages
type checking
algebraic structure
hidden markov models
formal language
neural network
formal semantics
databases
metadata
knowledge representation
semantic information
sequence alignment
relational calculus