Workshops in Computing - ALPUK92
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer London

9783540197836, 9781447134213
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Amalgamated Temporal Logic

1993 ◽  
pp. 263-295
Author(s):  
Yuejun Jiang ◽  
Barry Richards
Keyword(s):  
Temporal Logic

Disciplined Exceptions in Logic Programming

1993 ◽  
pp. 124-141
Author(s):  
Timothy K. Shih ◽  
Ruth E. Davis ◽  
Fuyau Lin
Keyword(s):  
Logic Programming

Modularity for Logic Programs

1993 ◽  
pp. 97-107
Author(s):  
G. Antoniou ◽  
V. Sperschneider
Keyword(s):  
Logic Programs

Rewriting Concepts in the Study of Termination of Logic Programs

1993 ◽  
pp. 3-20 ◽  
Author(s):  
R. K. Shyamasundar ◽  
M. R. K. Krishna Rao ◽  
Deepak Kapur
Keyword(s):  
Logic Programs

Soft Sorting in Logic Programming

1993 ◽  
pp. 79-96 ◽  
Author(s):  
Jian Chen ◽  
John Staples
Keyword(s):  
Logic Programming

An Introduction to Gödel

1993 ◽  
pp. 299-343
Author(s):  
A. Bowers ◽  
P. M. Hill

Logic Programming via Proof-valued Computations

1993 ◽  
pp. 253-262 ◽  
Author(s):  
David J. Pym ◽  
Lincoln A. Wallen
Keyword(s):  
Logic Programming
Load More ...
Sign in / Sign up

Export Citation Format

Share Document