1458 search results - page 41 / 292 » Monads for incremental computing |
118
Voted
EGC
2009
Springer
15 years 1 months ago
2009
Springer
143
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
COLING
2002
15 years 3 months ago
2002
