3319 search results - page 22 / 664 » Subshifts, Languages and Logic |
146
click to vote
FROCOS
2011
Springer
14 years 2 days ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
117
Voted
AAAI
2012
13 years 2 months ago
2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In partic...
291
click to vote
DAC
2012
ACM
13 years 2 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
106
Voted
ICLP
1998
Springer
15 years 4 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
116
Voted
ENTCS
2006
15 years 12 days ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...