749 search results - page 4 / 150 » Combinatory Models and Symbolic Computation |
CAV
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
TCS
2008
13 years 9 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...
ISPDC
2008
IEEE
14 years 4 months ago
2008
IEEE