Sciweavers

3973 search results - page 175 / 795

» Records for Logic Programming

89

FASE
2001
Springer

85views Software Engineering» more FASE 2001»

Physical Programming: Beyond Mere Logic

15 years 8 months ago

Physical Programming: Beyond Mere Logic

Download www-emsoft02.imag.fr

Bran Selic

claim paper

Read More »

89

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

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

Download www.ual.es

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

claim paper

Read More »

116

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

15 years 8 months ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

151

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

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

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 »

127

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 8 months ago

Functional Logic Programming with Failure: A Set-Oriented View

Download gpd.sip.ucm.es

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

claim paper

Read More »

« Prev « First page 175 / 795 Last » Next »