A formal proof system for infinitary rational expressions.

Philippe Darondeau Laurent Kott

Published in: Automata on Infinite Words (1984)

Keyphrases

decision making
operational semantics
formal methods
data mining
formal model
data sets
natural language
facial expressions
modal logic
model checker
incentive compatible