1127 search results - page 38 / 226 » Theory Extension in ACL2(r) |
154
click to vote
TCAD
2002
15 years 5 months ago
2002
This paper introduces the concept of hierarchical cellular automata (HCA). The theory of HCA is developed over the Galois extension field (2 ), where each cell of the CA can store ...
136
click to vote
JSYML
2010
15 years 27 days ago
2010
We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms a...
149
click to vote
CCA
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
118
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We propose an argumentation-based framework for representing communication theories of agents that can take into account dialogue strategies and society protocols in a way that fa...
201
click to vote
APAL
2011
15 years 1 months ago
2011
We formalize the construction of Paterson’s variant of the Ajtai–Koml´os–Szemer´edi sorting network of logarithmic depth in the bounded arithmetical theory VNC1 ∗ (an ex...