Sciweavers

2409 search results - page 33 / 482
» On Extended Regular Expressions
Sort
View
EUROGP
2007
Springer
107views Optimization» more  EUROGP 2007»
14 years 11 months ago
Analysing the Regularity of Genomes Using Compression and Expression Simplification
Jungseok Shin, Moonyoung Kang, Robert I. McKay, Ng...
FMCAD
2008
Springer
14 years 11 months ago
Augmenting a Regular Expression-Based Temporal Logic with Local Variables
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
Cindy Eisner, Dana Fisman