Keyphrases
- higher order
- provably correct
- transition systems
- lambda calculus
- formal language
- natural images
- high order
- low order
- high level
- pairwise
- markov random field
- process algebra
- specification language
- formal specification
- programming language
- concurrent systems
- databases
- database query languages
- temporal logic
- asynchronous circuits
- lower order
- conceptual model
- model checking
- conditional random fields
- natural language
- neural network