Sciweavers

13 search results - page 1 / 3

» iclp 2001

11

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

13 years 9 months ago

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

9

ICLP
2001
Springer

87views Automated Reasoning» more ICLP 2001»

Solving the Multiplication Constraint in Several Approximation Spaces

13 years 9 months ago

Solving the Multiplication Constraint in Several Approximation Spaces

Download alain.colmerauer.free.fr

Alain Colmerauer

claim paper

Read More »

14

ICLP
2001
Springer

112views Automated Reasoning» more ICLP 2001»

A Close Look at Constraint-Based Concurrency

13 years 9 months ago

A Close Look at Constraint-Based Concurrency

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

Kazunori Ueda

claim paper

Read More »

7

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

13 years 9 months ago

Is Logic Really Dead or Only Just Sleeping?

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

10

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

13 years 9 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 »