ICALP
1998
Springer
14 years 4 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
It is well known that the performance of quicksort can be improved by selecting the median of a sample of elements as the pivot of each partitioning stage. For large samples the pa...
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
ICALP
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...