1382 search results - page 23 / 277 » Term ordering problem on MDG |
123
click to vote
CADE
2005
Springer
16 years 29 days ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
103
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
72
Voted
SYNTHESE
2008
15 years 17 days ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
103
click to vote
SIAMCOMP
2000
15 years 13 days ago
2000
The bipartite crossing number problem is studied, and a connection between this problem and the linear arrangement problem is established. It is shown that when the arboricity is ...
98
Voted
NIPS
2004
15 years 2 months ago
2004
Many interesting multiclass problems can be cast in the general framework of label ranking defined on a given set of classes. The evaluation for such a ranking is generally given ...