2766 search results - page 74 / 554 » Hybridizing a Logical Framework |
COMMA
2008
13 years 11 months ago
2008
FLAIRS
2001
13 years 11 months ago
2001
Inrecenttimes,severalextensionsofdataminingmethods andtechniqueshavebeenexploredaimingatdealingwith advanceddatabases.Manypromisingapplicationsof inductivelogicprogramming(ILP)tok...
FOIS
2001
13 years 11 months ago
2001
IJCAI
1993
13 years 11 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 ...
CORR
2010
Springer
13 years 10 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...