Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
Semigroup
Model theory
Linear temporal logic
Temporal logic
Algebraic structures