Sciweavers

1458 search results - page 41 / 292
» Monads for incremental computing
Sort
View
CORR
2007
Springer
133views Education» more  CORR 2007»
13 years 11 months ago
On Decidability Properties of Local Sentences
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
Olivier Finkel
ECEASST
2010
13 years 5 months ago
Incremental Pattern Matching in Graph-Based State Space Exploration
AmirHossein Ghamarian, Arash Jalali, Arend Rensink