2766 search results - page 74 / 554 » Hybridizing a Logical Framework |
81
Voted
COMMA
2008
15 years 5 months ago
2008
114
click to vote
FLAIRS
2001
15 years 5 months ago
2001
Inrecenttimes,severalextensionsofdataminingmethods andtechniqueshavebeenexploredaimingatdealingwith advanceddatabases.Manypromisingapplicationsof inductivelogicprogramming(ILP)tok...
FOIS
2001
15 years 5 months ago
2001
139
click to vote
IJCAI
1993
15 years 5 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
143
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...