8 search results - page 2 / 2 » Understanding SPKI SDSI Using First-Order Logic |
96
Voted
DIAGRAMS
2008
Springer
15 years 3 hour ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
69
Voted
APAL
2002
14 years 10 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
85
Voted
VL
1993
IEEE
15 years 2 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...