1-20 of 31
Pierre Deransart
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

List of Figures

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

List of Tables

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Series Foreword

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Foreword by J.H. Gallier

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Preface

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Preliminaries

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Foundations of Logic Programming

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Grammatical Extensions of Logic Programs

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Attribute Grammars

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Attribute Grammars and Logic Programming

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Proof Methods for Definite Programs

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Proof Methods for Partial Correctness of Definite Programs

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

The Occur-check Problem

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Bibliography

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

Index

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
EISBN: 9780262290845
Book Chapter

List of Figures

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
DOI: 10.7551/mitpress/3345.003.0001
EISBN: 9780262290845
PDF
Book Chapter

List of Tables

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
DOI: 10.7551/mitpress/3345.003.0002
EISBN: 9780262290845
PDF
Book Chapter

Series Foreword

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
DOI: 10.7551/mitpress/3345.003.0003
EISBN: 9780262290845
PDF
Book Chapter

Foreword by J.H. Gallier

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
DOI: 10.7551/mitpress/3345.003.0004
EISBN: 9780262290845
PDF
Book Chapter

Preface

By Pierre Deransart, Jan Maluszyński
Publisher: The MIT Press
Published: 19 November 1993
DOI: 10.7551/mitpress/3345.003.0005
EISBN: 9780262290845
PDF