1582 search results - page 12 / 317 » On Higher-Order Description Logics |
ITP
2010
14 years 10 days 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
13 years 12 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...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
AISC
2004
Springer
14 years 1 months ago
2004
Springer
ASIAN
2004
Springer
14 years 1 months ago
2004
Springer
