Extensions of Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354053590x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logic programming, functional programming, and inductive definitions

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038699 ◽

2006 ◽

pp. 283-309 ◽

Cited By ~ 7

Author(s):

Lawrence C. Paulson ◽

Andrew W. Smith

Keyword(s):

Logic Programming ◽

Functional Programming ◽

Inductive Definitions

Download Full-text

Extensions to logic programming motivated by the construction of a generic theorem prover

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038696 ◽

2006 ◽

pp. 223-244 ◽

Cited By ~ 1

Author(s):

Elsa L. Gunter

Keyword(s):

Logic Programming ◽

Theorem Prover

Download Full-text

A survey of GCLA: A definitional approach to logic programming

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038692 ◽

2006 ◽

pp. 49-99 ◽

Cited By ~ 3

Author(s):

Martin Aronsson ◽

Lars-Henrik Eriksson ◽

Lars Hallnäs ◽

Per Kreuger

Keyword(s):

Logic Programming

Download Full-text

Some applications of Gentzen's proof theory in automated deduction

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038693 ◽

2006 ◽

pp. 101-156 ◽

Cited By ~ 8

Author(s):

Michael Beeson

Keyword(s):

Proof Theory ◽

Automated Deduction

Download Full-text

A decision procedure for propositional N-Prolog

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038697 ◽

2006 ◽

pp. 245-251

Author(s):

Jörg Hudelmaier

Keyword(s):

Decision Procedure

Download Full-text

A logic program for transforming sequent proofs to natural deduction proofs

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038694 ◽

2006 ◽

pp. 157-178 ◽

Cited By ~ 5

Author(s):

Amy Felty

Keyword(s):

Natural Deduction ◽

Logic Program

Download Full-text

Hypothetical reasoning and definitional reflection in logic programming

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038701 ◽

2006 ◽

pp. 327-339 ◽

Cited By ~ 7

Author(s):

Peter Schroeder-Heister

Keyword(s):

Logic Programming ◽

Hypothetical Reasoning

Download Full-text

Modal provability foundations for negation by failure

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038695 ◽

2006 ◽

pp. 179-222 ◽

Cited By ~ 4

Author(s):

D. M. Gabbay

Download Full-text

A logic programming language with lambda-abstraction, function variables, and simple unification

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038698 ◽

2006 ◽

pp. 253-281 ◽

Cited By ~ 38

Author(s):

Dale Miller

Keyword(s):

Logic Programming ◽

Programming Language ◽

Logic Programming Language

Download Full-text

Logic programming with strong negation

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038700 ◽

2006 ◽

pp. 311-326 ◽

Cited By ~ 20

Author(s):

David Pearce ◽

Gerd Wagner

Keyword(s):

Logic Programming ◽

Strong Negation

Download Full-text

Extensions of Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Logic programming, functional programming, and inductive definitions

Extensions to logic programming motivated by the construction of a generic theorem prover

A survey of GCLA: A definitional approach to logic programming

Some applications of Gentzen's proof theory in automated deduction

A decision procedure for propositional N-Prolog

A logic program for transforming sequent proofs to natural deduction proofs

Hypothetical reasoning and definitional reflection in logic programming

Modal provability foundations for negation by failure

A logic programming language with lambda-abstraction, function variables, and simple unification

Logic programming with strong negation

Extensions of Logic Programming - Lecture Notes in Computer Science
Latest Publications