66 search results - page 2 / 14 » The Conservation Theorem revisited |
STACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...
CORR
1999
Springer
14 years 11 months ago
1999
Springer
60
Voted
FFA
2010
14 years 10 months ago
2010
APAL
2002
14 years 11 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
102
click to vote
ENTCS
2010
14 years 9 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...