Sciweavers

4513 search results - page 63 / 903

» Logic programming with satisfiability

108

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

15 years 7 months ago

Parallelism in Logic Programs

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

98

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 6 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

91

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

15 years 6 months ago

Continuations for parallel logic programming

Download www.softlab.ntua.gr

Eneia Todoran, Nikolaos Papaspyrou

claim paper

Read More »

100

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

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

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

128

PODS
2006
ACM

98views Database» more PODS 2006»

Two-variable logic on data trees and XML reasoning

16 years 3 months ago

Two-variable logic on data trees and XML reasoning

Download lrb.cs.uni-dortmund.de

d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...

Mikolaj Bojanczyk, Claire David, Anca Muscholl, Th...

claim paper

Read More »

« Prev « First page 63 / 903 Last » Next »