Sciweavers

3546 search results - page 48 / 710

» A Causal Logic of Logic Programming

21

IFIP
1989
Springer

90views Programming Languages» more IFIP 1989»

Parallelism in Logic Programming

14 years 2 months ago

Parallelism in Logic Programming

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

Kazunori Ueda

claim paper

Read More »

27

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

14 years 2 months ago

Parallelism in Logic Programs

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

21

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

14 years 1 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

26

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

14 years 1 months ago

Continuations for parallel logic programming

Download www.softlab.ntua.gr

Eneia Todoran, Nikolaos Papaspyrou

claim paper

Read More »

26

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

14 years 1 months ago

Logical and Computational Aspects of Programming with Sets/Bags/Lists

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

« Prev « First page 48 / 710 Last » Next »