8766 search results - page 91 / 1754 » Functional logic programming |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
107
click to vote
ELP
1991
15 years 1 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
FUZZY
2004
Springer
15 years 3 months ago
2004
Springer
ENTCS
2002
14 years 9 months ago
2002
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophica...
FSS
2010
14 years 7 months ago
2010
