Search Sciweavers | Sciweavers

5506 search results - page 200 / 1102

» Minimal Logic Programs

Voted

FASE
2001
Springer

85views Software Engineering» more FASE 2001»

Physical Programming: Beyond Mere Logic

15 years 8 months ago

Download www-emsoft02.imag.fr

Bran Selic

claim paper

Read More »

Voted

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

15 years 8 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

112

Voted

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

15 years 8 months ago

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

147

Voted

LOPSTR
2001
Springer

152views Automated Reasoning» more LOPSTR 2001»

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

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

123

Voted

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers