Full Abstraction for Polymorphic Pi-Calculus.

Alan Jeffrey Julian Rathke

Published in: FoSSaCS (2005)

Keyphrases

type checking
high level
data abstraction
database query languages
formal language
decision theoretic planning
relational databases
data sets
static analysis
low level
model checking
fuzzy logic
evolutionary algorithm
reinforcement learning
knowledge base
artificial intelligence
genetic algorithm