Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)
Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)
Resource Information
The item Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 24, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues
 Language
 eng
 Extent
 IX, 460 p.
 Contents

 Outline of an objectoriented calculus of higher type
 Highlevelreplacement systems for equational algebraic specifications
 Termination of rewrite systems by elementary interpretations
 Termination of ordersorted rewriting
 Generalized sufficient conditions for modular termination of rewriting
 A theory of firstorder builtin's of prolog
 Fixpoint semantics for partial computed answer substitutions and call patterns
 Oracle semantics for Prologa
 On the relation between primitive recursion, schematization, and divergence
 Term rewriting with sharing and memoïzation
 Definitional trees
 Multiparadigm logic programming
 Nonlinear real constraints in constraint logic programming
 A general scheme for constraint functional logic programming
 Incremental rewriting in narrowing derivations
 Counterexamples to completeness results for basic narrowing (extended abstract)
 Uniform narrowing strategies
 Proof by consistency in constructive systems with final algebra semantics
 A fast algorithm for ground normal form analysis
 Etaconversion for the languages of explicit substitutions
 Serialisation analysis of concurrent logic programs
 Implementation of a toolset for prototyping algebraic specifications of concurrent systems
 Axiomatizing permutation equivalence in the ?calculus
 A CLP view of logic programming
 Partial deduction of logic programs WRT wellfounded semantics
 The finiteness of logic programming derivations
 Theorem proving for hierarchic firstorder theories
 A goal oriented strategy based on completion
 On nsyntactic equational theories
 Isbn
 9783540473022
 Label
 Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings
 Title
 Algebraic and Logic Programming
 Title remainder
 Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings
 Statement of responsibility
 edited by Hélène Kirchner, Giorgio Levi
 Language
 eng
 Summary
 This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 24, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues
 http://library.link/vocab/creatorName
 Kirchner, Hélène
 Image bit depth
 0
 LC call number

 QA76.776.73
 QA76.76.C65
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName

 Levi, Giorgio.
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 632
 http://library.link/vocab/subjectName

 Computer science
 Logic design
 Computer Science
 Programming Languages, Compilers, Interpreters
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
 Label
 Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Outline of an objectoriented calculus of higher type  Highlevelreplacement systems for equational algebraic specifications  Termination of rewrite systems by elementary interpretations  Termination of ordersorted rewriting  Generalized sufficient conditions for modular termination of rewriting  A theory of firstorder builtin's of prolog  Fixpoint semantics for partial computed answer substitutions and call patterns  Oracle semantics for Prologa  On the relation between primitive recursion, schematization, and divergence  Term rewriting with sharing and memoïzation  Definitional trees  Multiparadigm logic programming  Nonlinear real constraints in constraint logic programming  A general scheme for constraint functional logic programming  Incremental rewriting in narrowing derivations  Counterexamples to completeness results for basic narrowing (extended abstract)  Uniform narrowing strategies  Proof by consistency in constructive systems with final algebra semantics  A fast algorithm for ground normal form analysis  Etaconversion for the languages of explicit substitutions  Serialisation analysis of concurrent logic programs  Implementation of a toolset for prototyping algebraic specifications of concurrent systems  Axiomatizing permutation equivalence in the ?calculus  A CLP view of logic programming  Partial deduction of logic programs WRT wellfounded semantics  The finiteness of logic programming derivations  Theorem proving for hierarchic firstorder theories  A goal oriented strategy based on completion  On nsyntactic equational theories
 Dimensions
 unknown
 Extent
 IX, 460 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540473022
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/BFb0013814
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540473022
 Label
 Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Outline of an objectoriented calculus of higher type  Highlevelreplacement systems for equational algebraic specifications  Termination of rewrite systems by elementary interpretations  Termination of ordersorted rewriting  Generalized sufficient conditions for modular termination of rewriting  A theory of firstorder builtin's of prolog  Fixpoint semantics for partial computed answer substitutions and call patterns  Oracle semantics for Prologa  On the relation between primitive recursion, schematization, and divergence  Term rewriting with sharing and memoïzation  Definitional trees  Multiparadigm logic programming  Nonlinear real constraints in constraint logic programming  A general scheme for constraint functional logic programming  Incremental rewriting in narrowing derivations  Counterexamples to completeness results for basic narrowing (extended abstract)  Uniform narrowing strategies  Proof by consistency in constructive systems with final algebra semantics  A fast algorithm for ground normal form analysis  Etaconversion for the languages of explicit substitutions  Serialisation analysis of concurrent logic programs  Implementation of a toolset for prototyping algebraic specifications of concurrent systems  Axiomatizing permutation equivalence in the ?calculus  A CLP view of logic programming  Partial deduction of logic programs WRT wellfounded semantics  The finiteness of logic programming derivations  Theorem proving for hierarchic firstorder theories  A goal oriented strategy based on completion  On nsyntactic equational theories
 Dimensions
 unknown
 Extent
 IX, 460 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540473022
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/BFb0013814
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540473022
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/AlgebraicandLogicProgrammingThird/EycwmKfydqo/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/AlgebraicandLogicProgrammingThird/EycwmKfydqo/">Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/AlgebraicandLogicProgrammingThird/EycwmKfydqo/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/AlgebraicandLogicProgrammingThird/EycwmKfydqo/">Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings, edited by Hélène Kirchner, Giorgio Levi, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>