2501 search results - page 88 / 501 » Logics with Rank Operators |
140
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
163
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
133
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...
143
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
165
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...