Pandora : non-deterministic parallel logic programming

Pandora : non-deterministic parallel logic programming

Bibliographic Details
Main Author:	Bahgat, Reem
Published:	Imperial College London 1991
Subjects:	004
Online Access:	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718184

Similar Items

Pandora : a logic for the qualitative analysis of temporal fault trees
by: Walker, Martin David
Published: (2009)

Design, application and implementation of a parallel logic programming language
by: Gregory, S.
Published: (1985)

Logic programs as declarative and procedural bias in inductive logic programming
by: Lin, Dianhuan
Published: (2013)

Meta-language in logic programming
by: Eshghi, Kave
Published: (1987)

Compositional logic programming
by: McPhee, Richard
Published: (2000)

A mechanism for structuring logic programs
by: Kwok, Chor Sang
Published: (1989)

Computing with changing logic programs
by: Hayashi, Hisashi
Published: (2001)

Logics and analyses for concurrent heap-manipulating programs
by: Gotsman, Olexiy
Published: (2009)

Partial evaluation and mix computation in logic programming
by: Fuller, David Alfredo
Published: (1989)

Extending the applicability of deterministic multithreading
by: Nowack, Vesna
Published: (2016)

Parallel execution of Horn clause programs
by: Pollard, G. H.
Published: (1982)

Proof planning for logic program synthesis
by: Kraan, H. C.
Published: (1994)

First-order logic applied to the description and derivation of programs
by: Vasey, P. E.
Published: (1985)

Open-textured law, expert systems and logic programming
by: Schild, Uri Jakob
Published: (1990)

The expressive power of query languages based on logic programming
by: Reynolds, Mark
Published: (1988)

Proof theory and computer programming : the logical foundations of computing
by: de Queiroz, Ruy Jose Guerra Barretto
Published: (1990)

Design and integrity of deterministic system architectures
by: Smith, Richard Bartlett
Published: (2007)

Architecture aware parallel programming in Glasgow parallel Haskell (GPH)
by: Aswad, Mustafa K. H.
Published: (2012)

Safe and scalable parallel programming with session types
by: Ng, Chun Wang Nicholas
Published: (2014)

Scalable verification techniques for data-parallel programs
by: Chong, Nathan
Published: (2014)

Logic programming : operational semantics and proof theory
by: Andrews, James H.
Published: (1991)

Developments in abstract and assumption-based argumentation and their application in logic programming
by: Schulz, Claudia
Published: (2017)

On hereditary Harrop formulae as a basis for logic programming
by: Harland, James
Published: (1991)

Canonicity and bi-approximation in non-classical logics
by: Suzuki, Tomoyuki
Published: (2010)

Automatic goal distribution strategies for the execution of committed choice logic languages on distributed memory parallel computers
by: Scott, R. B.
Published: (1994)

A dependency-aware parallel programming model
by: Pérez Cáncer, Josep Maria
Published: (2015)

Optimizing programming models for massively parallel computers
by: Farreras Esclusa, Montse
Published: (2008)

R/parallel Parallel Computing for R in non‐dedicated environments
by: Vera Rodríguez, Gonzalo
Published: (2010)

The Role of preferences in logic programming: nonmonotonic reasoning, user preferences, decision under uncertainty
by: Confalonieri, Roberto
Published: (2011)

Hardware development based on a parallel programming language
by: Coutinho, Jose Gabriel de Figueiredo
Published: (2007)

Segment logic
by: Wheelhouse, Mark James
Published: (2012)

Solving Practical Reasoning Poblems with Extended Disjunctive Logic Programming
by: Herre, Heinrich, et al.
Published: (1996)

Structural separation logic
by: Wright, Adam
Published: (2013)

Logic design testing
by: Kaposi, A. A.
Published: (1971)

Incremental program transformation using abstract parallel machines
by: Goodman, Joy Ai-Leen
Published: (2002)

Operating system simulations for parallel processes and parallel processors
by: Breffit, I. M.
Published: (1977)

A generic logic environment
by: Dawson, William Mark Grant
Published: (1991)

The logic of trust
by: Harwood, William
Published: (2012)

A quantitative combinatory logic
by: Datta, Neil Anirvan Sagomisa
Published: (2008)

Equational logic for names and binders
by: Clouston, Ranald Alexander
Published: (2010)

Cannot write session to /tmp/vufind_sessions/sess_iqrf2j5r5baic7ntvdr1viav41