4370 search results - page 56 / 874 » Algebra of Logic Programming |
130
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
110
Voted
IPL
2006
15 years 2 months ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
EUSFLAT
2009
15 years 5 days ago
2009
142
Voted
CADE
2004
Springer
16 years 2 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
112
Voted
JLP
2006
15 years 2 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...