Sciweavers

7456 search results - page 35 / 1492

» Parallelism in Logic Programs

30

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

14 years 1 months ago

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

29

BANFF
1995

122views Distributed And Parallel Com...» more BANFF 1995»

Modal and Temporal Logics for Processes

14 years 1 months ago

Modal and Temporal Logics for Processes

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

25

CONCUR
1991
Springer

92views Distributed And Parallel Com...» more CONCUR 1991»

Geometric Logic, Causality and Event Structures

14 years 1 months ago

Geometric Logic, Causality and Event Structures

Download www.hpl.hp.com

Jeremy Gunawardena

claim paper

Read More »

29

SIGARCH
2008

73views more SIGARCH 2008»

Servo: a programming model for many-core computing

13 years 9 months ago

Servo: a programming model for many-core computing

Download passat.crhc.illinois.edu

Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...

Nicolas Zea, John Sartori, Rakesh Kumar

claim paper

Read More »

32

JAIR
2008

104views more JAIR 2008»

Sound and Complete Inference Rules for SE-Consequence

13 years 9 months ago

Sound and Complete Inference Rules for SE-Consequence

Download www.jair.org

The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...

Ka-Shu Wong

claim paper

Read More »

« Prev « First page 35 / 1492 Last » Next »