#logic-programming

20 collections 20 auteurs 20 ouvrages trié(s) par

Documents

LIX janvier

David Baelde

Documents

Etudes supérieures

LIX janvier

David Baelde

39 pages

Lire

Reasoning about Computations Using Two Levels of Logic

Documents

Reasoning about Computations Using Two Levels of Logic

Reasoning about Computations Using Two Levels of Logic

Documents

Etudes supérieures

Reasoning about Computations Using Two Levels of Logic

13 pages

English

Lire

Department of Computer Information Science

Documents

Department of Computer Information Science

Amy Felty

Department of Computer Information Science

Documents

Etudes supérieures

Department of Computer Information Science

Amy Felty

22 pages

English

Lire

A proof theoretical journey through programming model checking and

Documents

A proof theoretical journey through programming model checking and

David Baelde

A proof theoretical journey through programming model checking and

Documents

Etudes supérieures

A proof theoretical journey through programming model checking and

David Baelde

26 pages

English

Lire

An Overview of Linear Logic Programming

Documents

An Overview of Linear Logic Programming

An Overview of Linear Logic Programming

Documents

Rapports de stage

An Overview of Linear Logic Programming

33 pages

English

Lire

A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA ABSTRACTION FUNCTION VARIABLES AND SIMPLE UNIFICATION: Extended Abstract Draft September

Documents

A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA ABSTRACTION FUNCTION VARIABLES AND SIMPLE UNIFICATION: Extended Abstract Draft September

A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA ABSTRACTION FUNCTION VARIABLES AND SIMPLE UNIFICATION: Extended Abstract Draft September

Documents

Rapports de stage

A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA ABSTRACTION FUNCTION VARIABLES AND SIMPLE UNIFICATION: Extended Abstract Draft September

16 pages

English

Lire

The pi calculus as a theory in linear logic: Preliminary results

Documents

The pi calculus as a theory in linear logic: Preliminary results

The pi calculus as a theory in linear logic: Preliminary results

Documents

Rapports de stage

The pi calculus as a theory in linear logic: Preliminary results

18 pages

English

Lire

HIGHER ORDER HORN CLAUSES

Documents

HIGHER ORDER HORN CLAUSES

Duke University

HIGHER ORDER HORN CLAUSES

Documents

Rapports de stage

HIGHER ORDER HORN CLAUSES

Duke University

47 pages

English

Lire

A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS

Documents

A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS

Duke University

A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS

Documents

Rapports de stage

A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS

Duke University

20 pages

English

Lire

Forum: A Multiple Conclusion Specification Logic

Documents

Forum: A Multiple Conclusion Specification Logic

Forum: A Multiple Conclusion Specification Logic

Documents

Etudes supérieures

Forum: A Multiple Conclusion Specification Logic

37 pages

English

Lire

Documents

SOS08 July

Documents

Etudes supérieures

SOS08 July

23 pages

English

Lire

Higher Order Logic Programming†

Documents

Higher Order Logic Programming†

Duke University

Higher Order Logic Programming†

Documents

Etudes supérieures

Higher Order Logic Programming†

Duke University

83 pages

English

Lire

UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING

Documents

UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING

Duke University

UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING

Documents

Etudes supérieures

UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING

Duke University

35 pages

English

Lire

Under consideration for publication in Theory and Practice of Logic Programming

Documents

Under consideration for publication in Theory and Practice of Logic Programming

Under consideration for publication in Theory and Practice of Logic Programming

Documents

Rapports de stage

Under consideration for publication in Theory and Practice of Logic Programming

48 pages

English

Lire

Higher order quantification and proof search

Documents

Higher order quantification and proof search

Higher order quantification and proof search

Documents

Rapports de stage

Higher order quantification and proof search

16 pages

English

Lire

AN OVERVIEW OF PROLOG

Documents

AN OVERVIEW OF PROLOG

Duke University

AN OVERVIEW OF PROLOG

Documents

Rapports de stage

AN OVERVIEW OF PROLOG

Duke University

20 pages

English

Lire

A Logic Programming Language with Lambda Abstraction Function Variables and Simple Unification

Documents

A Logic Programming Language with Lambda Abstraction Function Variables and Simple Unification

A Logic Programming Language with Lambda Abstraction Function Variables and Simple Unification

Documents

Rapports de stage

A Logic Programming Language with Lambda Abstraction Function Variables and Simple Unification

36 pages

English

Lire

A META LANGUAGE FOR TYPE CHECKING AND INFERENCE

Documents

A META LANGUAGE FOR TYPE CHECKING AND INFERENCE

Amy Felty

A META LANGUAGE FOR TYPE CHECKING AND INFERENCE

Documents

Rapports de stage

A META LANGUAGE FOR TYPE CHECKING AND INFERENCE

Amy Felty

14 pages

English

Lire

Combining generic judgments with recursive definitions

Documents

Combining generic judgments with recursive definitions

Andrew Gacek

Combining generic judgments with recursive definitions

Documents

Rapports de stage

Combining generic judgments with recursive definitions

Andrew Gacek

12 pages

English

Lire

Mixing Finite Success and Finite Failure in an Automated Prover

Documents

Mixing Finite Success and Finite Failure in an Automated Prover

Mixing Finite Success and Finite Failure in an Automated Prover

Documents

Etudes supérieures

Mixing Finite Success and Finite Failure in an Automated Prover

20 pages

English

Lire

Aucun résultat à afficher.

1