3440 search results - page 403 / 688 » Logics For Context-Free Languages |
174
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
145
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
183
click to vote
CP
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
195
click to vote
ICALP
2003
Springer
16 years 18 days ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
213
click to vote
PODS
2010
ACM
16 years 14 days ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...