3 search results - page 1 / 1 » lata 2012 |
LATA
2012
Springer
11 years 12 months ago
2012
Springer
LATA
2012
Springer
11 years 12 months ago
2012
Springer
We investigate the application of Courcelle’s Theorem and the logspace version of Elberfeld et al. in the context of the implication problem for propositional sets of formulae, t...
LATA
2012
Springer
11 years 12 months ago
2012
Springer
The notion of recognition of a language by a finite semigroup can be generalized to recognition by finite groupoids, i.e. sets equipped with a binary operation ‘·’ which is ...