Sciweavers

3481 search results - page 205 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

104

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 7 months ago

On Expressive and Model Checking Power of Propositional Program Logics

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

81

FASE
2001
Springer

85views Software Engineering» more FASE 2001»

Physical Programming: Beyond Mere Logic

15 years 7 months ago

Physical Programming: Beyond Mere Logic

Download www-emsoft02.imag.fr

Bran Selic

claim paper

Read More »

86

Voted

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

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

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

110

Voted

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

15 years 7 months ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

143

Voted

LOPSTR
2001
Springer

152views Automated Reasoning» more LOPSTR 2001»

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

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

« Prev « First page 205 / 697 Last » Next »