Sciweavers

2409 search results - page 33 / 482
» On Extended Regular Expressions
Sort
View
EUROGP
2007
Springer
107views Optimization» more  EUROGP 2007»
15 years 5 months ago
Analysing the Regularity of Genomes Using Compression and Expression Simplification
Jungseok Shin, Moonyoung Kang, Robert I. McKay, Ng...
FMCAD
2008
Springer
15 years 5 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