Search Sciweavers | Sciweavers

4370 search results - page 253 / 874

» Algebra of Logic Programming

141

click to vote

LOPSTR
2001
Springer

152views Automated Reasoning» more LOPSTR 2001»

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

15 years 7 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 »

118

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 7 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

15 years 7 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

100

click to vote

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 7 months ago

Download www.springer.com

Lunjin Lu

claim paper

Read More »

click to vote

EUROMICRO
2000
IEEE

77views Software Engineering» more EUROMICRO 2000»

Logic Representation of Programs to Detect Arithmetic Anomalies

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers