5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540100096, 9783540381402

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logical support in a time-varying model

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_12 ◽

1980 ◽

pp. 143-153

Author(s):

Alan M. Thompson

Keyword(s):

Time Varying

Download Full-text

Decision procedures for some fragments of set theory

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_8 ◽

1980 ◽

pp. 88-96 ◽

Cited By ~ 10

Author(s):

A. Ferro ◽

E. G. Omodeo ◽

J. T. Schwartz

Keyword(s):

Set Theory ◽

Decision Procedures

Download Full-text

Variable elimination and chaining in a resolution-based prover for inequalities

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_7 ◽

1980 ◽

pp. 70-87 ◽

Cited By ~ 15

Author(s):

W. W. Bledsoe ◽

Larry M. Hines

Keyword(s):

Variable Elimination

Download Full-text

A complete, nonredundant algorithm for reversed skolemization

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_28 ◽

1980 ◽

pp. 374-385 ◽

Cited By ~ 1

Author(s):

P. T. Cox ◽

T. Pietrzykowski

Download Full-text

Adding dynamic paramodulation to rewrite algorithms

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_16 ◽

1980 ◽

pp. 195-207 ◽

Cited By ~ 2

Author(s):

Paul Y Gloess ◽

Jean-Pierre H Laurent

Download Full-text

Specification and verification of real-time, distributed systems using the theory of constraints

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_10 ◽

1980 ◽

pp. 110-125 ◽

Cited By ~ 2

Author(s):

Frederick C. Furtek

Keyword(s):

Distributed Systems ◽

Real Time ◽

Theory Of Constraints ◽

Specification And Verification

Download Full-text

An experiment with "Edinburgh LCF"

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_14 ◽

1980 ◽

pp. 170-181 ◽

Cited By ~ 2

Author(s):

Jacek Leszczylowski

Download Full-text

A system for proving equivalences of recursive programs

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_6 ◽

1980 ◽

pp. 63-69 ◽

Cited By ~ 1

Author(s):

Laurent Kott

Keyword(s):

Recursive Programs

Download Full-text

Selective backtracking for logic programs

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_24 ◽

1980 ◽

pp. 306-317 ◽

Cited By ~ 9

Author(s):

Luís Moniz Pereira ◽

António Porto

Keyword(s):

Logic Programs

Download Full-text

Abstraction mappings in mechanical theorem proving

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_21 ◽

1980 ◽

pp. 264-280 ◽

Cited By ~ 8

Author(s):

D. A. Plaisted

Keyword(s):

Theorem Proving ◽

Mechanical Theorem Proving ◽

Mechanical Theorem

Download Full-text

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Logical support in a time-varying model

Decision procedures for some fragments of set theory

Variable elimination and chaining in a resolution-based prover for inequalities

A complete, nonredundant algorithm for reversed skolemization

Adding dynamic paramodulation to rewrite algorithms

Specification and verification of real-time, distributed systems using the theory of constraints

An experiment with "Edinburgh LCF"

A system for proving equivalences of recursive programs

Selective backtracking for logic programs

Abstraction mappings in mechanical theorem proving

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science
Latest Publications