66 search results - page 2 / 14 » The Conservation Theorem revisited |
STACS
2010
Springer
14 years 17 days 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
13 years 5 months ago
1999
Springer
FFA
2010
13 years 4 months ago
2010
APAL
2002
13 years 5 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...
ENTCS
2010
13 years 3 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...