Search Sciweavers | Sciweavers

2303 search results - page 77 / 461

» On the logic of argumentation theory

176

click to vote

LOPSTR
2001
Springer

152views Automated Reasoning» more LOPSTR 2001»

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

15 years 10 months ago

Download www.win.tue.nl

In this paper we deﬁne a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...

Giorgio Delzanno, Sandro Etalle

claim paper

Read More »

125

click to vote

TACS
2001
Springer

99views Software Engineering» more TACS 2001»

Nominal Logic: A First Order Theory of Names and Binding

15 years 10 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

127

click to vote

CSL
1995
Springer

93views Automated Reasoning» more CSL 1995»

On the Modal Logic K Plus Theories

15 years 9 months ago

Download reference.kfupm.edu.sa

Alain Heuerding, Stefan Schwendimann

claim paper

Read More »

141

click to vote

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

A First-Order Theory of Types and Polymorphism in Logic Programming

15 years 9 months ago

Download www.cs.sunysb.edu

Michael Kifer, James Wu

claim paper

Read More »

click to vote

LICS
1987
IEEE

53views Automated Reasoning» more LICS 1987»

Domain Theory in Logical Form

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers