Skip Nav Destination
Logic Programming
Logic Programming: The 1995 International Symposium
Edited by
The MIT Press
ISBN electronic:
9780262291248
Publication date:
1995
The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.
December 4-7, 1995, Portland, Oregon
The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms. Logic Programming series, Research Reports and Notes
Logic Programming: The 1995 International Symposium
Edited by: John W. Lloyd
https://doi.org/10.7551/mitpress/4301.001.0001
ISBN (electronic): 9780262291248
Publisher: The MIT Press
Published: 1995
Download citation file:
Table of Contents
-
Invited Talks
-
Language Design
-
Databases
-
Objects
-
Functional Logic Programming
-
Foundations I
-
Implementation
-
Foundations II
-
Analysis I
-
Nonmonotonic Reasoning
-
Analysis II
-
Transformation
-
Constraints
-
Semantics
-
Tutorial Abstracts
-
Panel Abstracts
-
Poster Abstracts
Availability Key
- Open Access
- Free
- Available
- No Access
Copyright
© 1995 MIT
All rights reserved. No part of this book may be reproduced in any
form by any electronic or mechanical means (including photocopying,
recording, or information storage and retrieval) without permission in
writing from the publisher.