Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Algebraic and Logic Programmin...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Algebraic and Logic Programming Second International Conference, Nancy, France, October 1-3, 1990. Proceedings / edited by Helene Kirchner, Wolfgang Wechler.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Kirchner, Helene
(Editor)
,
Wechler, Wolfgang
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1990.
Edition:
1st ed. 1990.
Series:
Lecture Notes in Computer Science,
463
Springer eBook Collection.
Subjects:
Software engineering.
Artificial intelligence.
Mathematical logic.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Table of Contents:
Proving and rewriting
Proving correctness w.r.t. specifications with hidden parts
Hybrid implementations of algebraic specifications
Multi-modal logic programming using equational and order-sorted logic
Logic programs with equational type specifications
Higher-order order-sorted algebras
Axiomatization of a functional logic language
Fourier algorithm revisited
Fixpoint techniques for non-monotone maps
Domain theory for nonmonotonic functions
On the strong completion of logic programs
An equivalence preserving first order unfold/fold transformation system
Propositional calculus problems in CHIP
Unfolding and fixpoint semantics of concurrent constraint logic programs
Eliminating negation from normal logic programs
On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
Recursive query processing in predicate-goal graph
Implementation of completion by transition rules + control: ORME
A matching process modulo a theory of categorical products
Equation solving in conditional AC-theories
Lazy narrowing in a graph machine
An abstract concurrent machine for rewriting
Applying term rewriting methods to finite groups
Termination proofs by multiset path orderings imply primitive recursive derivation lengths
Optimization of rewriting and complexity of rewriting
AC-Termination of rewrite systems: A modified Knuth-Bendix ordering.
Similar Items
Algebraic and Logic Programming 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Published: (1994)
Logic Programming in Action Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Published: (1992)
Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
Published: (2001)
Logic, Algebra, and Computation International Summer School
Published: (1991)
Meta-Programming in Logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Published: (1992)