1582 search results - page 1 / 317 » On Higher-Order Description Logics |
CADE
1998
Springer
14 years 19 days ago
1998
Springer
DLOG
2009
13 years 6 months ago
2009
DLOG
2011
12 years 12 months ago
2011
CL
2000
Springer
14 years 23 days ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...