3546 search results - page 115 / 710 » A Causal Logic of Logic Programming |
112
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
84
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
105
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
139
click to vote
ENTCS
2006
15 years 3 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
172
click to vote
SIGCSE
2000
ACM
15 years 8 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...