1523 search results - page 41 / 305 » Partially ordered secretaries |
103
click to vote
TPHOL
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
128
Voted
TYPES
2000
Springer
15 years 4 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
CIE
2008
Springer
15 years 19 days ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
127
Voted
PVLDB
2010
14 years 7 months ago
2010
We present a new indexing method named ZINC (for Z-order Indexing with Nested Code) that supports efficient skyline computation for data with both totally and partially ordered at...
98
Voted
APAL
2006
15 years 18 days ago
2006
Given any subset A of 1 there is a proper partial order which forces that the predicate x A and the predicate x 1\A can be expressed by ZFC