Typed stochastic semantics for the calculus of looping sequences.
Livio BioglioMariangiola Dezani-CiancagliniPaola GianniniAngelo TroinaPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- database query languages
- lambda calculus
- tree grammars
- higher order
- process algebra
- algebraic structure
- formal language
- monte carlo
- sequential patterns
- hidden markov models
- proof theoretic
- semantic information
- variable length
- model checking
- default reasoning
- operational semantics
- formal semantics
- temporal logic
- relational databases