Back to Results
First PageMeta Content
Linear temporal logic / Temporal logic / Mathematical logic / Semigroup / Theoretical computer science / Semigroup theory / Büchi automaton / Inverse semigroup / Ω-automaton / Automata theory / Mathematics / Algebraic structures


LINEAR TEMPORAL LOGIC FOR REGULAR COST FUNCTIONS DENIS KUPERBERG Liafa/CNRS/Université Paris 7, Denis Diderot, France
Add to Reading List

Document Date: 2014-05-08 11:47:02

Open Document

File Size: 516,66 KB

Share Result on Facebook

City

Paris / /

Country

France / /

Currency

LTL / /

IndustryTerm

mathematical tools / normal product / /

Person

Rabin / Denis Diderot / DENIS KUPERBERG / /

Position

representative / particular representative / /

SocialTag