2501 search results - page 92 / 501 » Logics with Rank Operators |
81
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
132
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into ...
91
Voted
ISMVL
2000
IEEE
15 years 5 months ago
2000
IEEE
— This paper analyses the propagation operations of signal’s multiple-valued behavior while passing through the basic gates. Based on it the propagation algorithm of behavior p...
110
click to vote
MFCS
1998
Springer
15 years 5 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...