ALPUK 91 - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer London

9783540197348, 9781447135463

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Algebraic Semantics for Proving Prolog Termination and Transformation

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_8 ◽

1992 ◽

pp. 135-155 ◽

Cited By ~ 2

Author(s):

Brian J. Ross

Keyword(s):

Algebraic Semantics

Download Full-text

Distributed Logic Programming

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_3 ◽

1992 ◽

pp. 36-55 ◽

Cited By ~ 2

Author(s):

Zdravko Markov ◽

Christo Dichev

Keyword(s):

Logic Programming ◽

Distributed Logic

Download Full-text

The Predicate consult/1 — A Problem in Prolog Standardisation

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_12 ◽

1992 ◽

pp. 206-215

Author(s):

Roger Scowen

Download Full-text

A Simple Prolog Techniques Editor for Novice Users

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_11 ◽

1992 ◽

pp. 190-205 ◽

Cited By ~ 1

Author(s):

Dave Robertson

Keyword(s):

Novice Users

Download Full-text

Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_1 ◽

1992 ◽

pp. 1-22

Author(s):

Peter Kacsuk

Keyword(s):

Massively Parallel

Download Full-text

Deriving Answers to Logical Queries Via Answer Composition

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_7 ◽

1992 ◽

pp. 112-134

Author(s):

Robert J. Gaizauskas

Download Full-text

Speculative Computation and Priorities in Concurrent Logic Languages

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_2 ◽

1992 ◽

pp. 23-35 ◽

Cited By ~ 2

Author(s):

Matthew Huntbach

Keyword(s):

Speculative Computation

Download Full-text

Accessing Relational and NF2 Databases Through Database Set Predicates

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_9 ◽

1992 ◽

pp. 156-173 ◽

Cited By ~ 7

Author(s):

Christoph Draxler

Download Full-text

Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_6 ◽

1992 ◽

pp. 94-111

Author(s):

Chris Roast

Keyword(s):

Interactive Systems

Download Full-text

Time Representation in Prolog Circuit Modelling

ALPUK 91 - Workshops in Computing ◽

10.1007/978-1-4471-3546-3_5 ◽

1992 ◽

pp. 78-93

Author(s):

Yossi Lichtenstein ◽

Bob Welham ◽

Ajay Gupta

Keyword(s):

Time Representation ◽

Circuit Modelling

Download Full-text