2501 search results - page 88 / 501 » Logics with Rank Operators |
91
Voted
PPDP
2005
Springer
15 years 6 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...
102
Voted
BIRTHDAY
2005
Springer
15 years 6 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...
83
Voted
HYBRID
2003
Springer
15 years 6 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...
98
Voted
SAS
2004
Springer
15 years 6 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...
108
click to vote
CORR
2004
Springer
15 years 18 days 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...