![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 / Temporal logic / Mathematical logic / Semigroup / Theoretical computer science / Semigroup theory / Büchi automaton / Inverse semigroup / Ω-automaton / Automata theory / Mathematics / Algebraic structures](https://www.pdfsearch.io/img/fe9c605add1788fcadff853bcdfab6ec.jpg)
| Document Date: 2014-05-08 11:47:02 Open Document File Size: 516,66 KBShare 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 |