1582 search results - page 12 / 317 » On Higher-Order Description Logics |
ITP
2010
15 years 1 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
PLILP
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
74
Voted
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
63
Voted
AISC
2004
Springer
15 years 3 months ago
2004
Springer
ASIAN
2004
Springer
15 years 3 months ago
2004
Springer
