Sciweavers

13 search results - page 1 / 3

» iclp 2001

123

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

15 years 10 months ago

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

138

ICLP
2001
Springer

87views Automated Reasoning» more ICLP 2001»

Solving the Multiplication Constraint in Several Approximation Spaces

15 years 10 months ago

Solving the Multiplication Constraint in Several Approximation Spaces

Download alain.colmerauer.free.fr

Alain Colmerauer

claim paper

Read More »

129

Voted

ICLP
2001
Springer

112views Automated Reasoning» more ICLP 2001»

A Close Look at Constraint-Based Concurrency

15 years 10 months ago

A Close Look at Constraint-Based Concurrency

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

108

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

15 years 10 months ago

Is Logic Really Dead or Only Just Sleeping?

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

134

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

15 years 10 months ago

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

Download kaminari.scitec.kobe-u.ac.jp

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »