Back to Results
First PageMeta Content
Semigroup / Model theory / Linear temporal logic / Temporal logic / Algebraic structures


Linear temporal logi for regular ost fun tions Denis Kuperberg Liafa/CNRS/Université Paris 7, Denis Diderot, Fran e Regular ost fun tions have been introdu ed re ently as an extension to the notion of regular languag
Add to Reading List

Document Date: 2012-10-25 13:52:50


Open Document

File Size: 329,42 KB

Share Result on Facebook

City

Paris / /

Company

Ui / /

Person

Rabin / Denis Kuperberg Liafa / Denis Diderot / /

SocialTag