1313 search results - page 88 / 263 » Generic Universe Types |
120
click to vote
FIWAC
1993
15 years 8 months ago
1993
Systems (Extended Abstract) Noga Alon ∗ Benny Sudakov Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel A dis...
129
click to vote
FOIS
2010
15 years 5 months ago
2010
Considerations regarding predication in ordinary language as well as the ontology of relations suggest a refinement of the Ontological Square, a conceptual scheme used in many foun...
146
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
121
click to vote
IEPOL
2006
15 years 4 months ago
2006
: The paper analyses the scientific research production of more than a thousand faculty members at Louis Pasteur University, a large and wellranked European research university. Th...
139
click to vote
TLDI
2005
ACM
15 years 10 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...