1195 search results - page 14 / 239 » Modeling an Algebraic Stepper |
118
click to vote
CAI
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, finite model theory and pro...
166
click to vote
CALCO
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
108
click to vote
DAM
2008
15 years 1 months ago
2008
This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular...
123
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
128
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...