1127 search results - page 29 / 226 » Theory Extension in ACL2(r) |
100
click to vote
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
82
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
CIE
2008
Springer
15 years 2 months ago
2008
Springer
The first extensive number-theoretical computation run on the world's first U.S. digital general-purpose electronic computer, the ENIAC, is reconstructed. The problem, computi...
JAR
2008
15 years 20 days ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
KES
2008
Springer
15 years 19 days ago
2008
Springer
This paper presents an intelligent traffic light control method based on extension neural network (ENN) theory for crossroads. First, the number of passing vehicles and passing tim...