Lecture Notes in Computer Science - Third International Conference on Logic Programming
Latest Publications

TOTAL DOCUMENTS

60

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540164920, 9783540398318

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract interpretation of Prolog programs

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_95 ◽

1986 ◽

pp. 463-474 ◽

Author(s):

C. S. Mellish

Keyword(s):

Abstract Interpretation ◽

Prolog Programs

Download Full-text

Equivalences of logic programs

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_91 ◽

1986 ◽

pp. 410-424 ◽

Author(s):

M. J. Maher

Keyword(s):

Download Full-text

Rational debugging in logic programming

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_76 ◽

1986 ◽

pp. 203-210 ◽

Author(s):

Luís Moniz Pereira

Keyword(s):

Logic Programming

Download Full-text

On the complexity of unification sequences

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_69 ◽

1986 ◽

pp. 122-133 ◽

Author(s):

Heikki Mannila ◽

Esko Ukkonen

Download Full-text

The OR-forest description for the execution of logic programs

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_120 ◽

1986 ◽

pp. 710-717 ◽

Author(s):

Sun Chengzheng ◽

Tzu Yungui

Keyword(s):

Download Full-text

Choices in, and limitations of, logic programming

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_110 ◽

1986 ◽

pp. 615-623 ◽

Author(s):

Paul J. Voda

Keyword(s):

Logic Programming

Download Full-text

Cyclic tree traversal

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_108 ◽

1986 ◽

pp. 593-599 ◽

Author(s):

Martin Nilsson ◽

Hidehiko Tanaka

Keyword(s):

Download Full-text

Tokio: Logic programming language based on temporal logic and its compilation to Prolog

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_119 ◽

1986 ◽

pp. 695-709 ◽

Author(s):

M. Fujita ◽

S. Kono ◽

H. Tanaka ◽

T. Moto-oka

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Programming Language ◽

Logic Programming Language

Download Full-text

Negation and quantifiers in NU-Prolog

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_111 ◽

1986 ◽

pp. 624-634 ◽

Author(s):

Lee Naish

Download Full-text

Using Prolog to represent and reason about protein structure

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_101 ◽

1986 ◽

pp. 536-543 ◽

Author(s):

C. J. Rawlings ◽

W. R. Taylor ◽

W. R. Taylor ◽

J. Nyakairu ◽

J. Fox ◽

...

Keyword(s):

Protein Structure

Download Full-text