4370 search results - page 56 / 874 » Algebra of Logic Programming |
119
Voted
ICFP
2010
ACM
15 years 1 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...
95
Voted
IPL
2006
15 years 20 days 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....
85
Voted
EUSFLAT
2009
14 years 10 months ago
2009
123
Voted
CADE
2004
Springer
16 years 1 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...
99
Voted
JLP
2006
15 years 19 days 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...