skip to content
Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings Preview this item
ClosePreview this item
Checking...

Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings

Author: J Grabowski; Pierre Lescanne; Wolfgang Wechler
Publisher: Berlin ; New York : Springer-Verlag, ©1988.
Series: Lecture notes in computer science, 343.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:

The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Algebraic and logic programming.
Berlin ; New York : Springer-Verlag, ©1988
(OCoLC)908808180
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: J Grabowski; Pierre Lescanne; Wolfgang Wechler
ISBN: 0387506675 9780387506678 3540506675 9783540506676
OCLC Number: 18960002
Description: 278 pages : illustrations ; 25 cm.
Details: Mode of access: World Wide Web.
Contents: ACP with signals.- Functional extensions to prolog: Are they needed?.- Narrowing and resolution in logic-functional programming languages.- Nondeterministic algebraic specifications and nonconfluent term rewriting.- OBJ: Programming with equalities, subsorts, overloading and parameterization.- Logic programming with polymorphically order-sorted types.- Integrating logic programming and equational specification of abstract data types.- Narrowing with built-in theories.- A completion procedure for hierarchical conditional rewriting systems.- An effective method for handling initial algebras.- Boolean valued models and incomplete specifications.- Types, modularisation and abstraction in logic programming.- Translating algebraic specifications to Prolog programs: A comparative study.- Rewrite rule systems for modal propositional logic.- A characterization of irreducible sets modulo left-linear term rewriting systems by tree automata.- Functional data term models and semantic unification.- Modular algebraic specifications.- Proving inductive theorems based on term rewriting systems.- Jungle evaluation for efficient term rewriting.- A new quasi-reducibility testing algorithm and its application to proofs by induction.- Fuzzy reasoning based on f-horn clause rules.- Babel: A functional and logic programming language based on constructor discipline and narrowing.- Refined compilation of pattern-matching for functional languages.- Narrowing in partial conditional equational theories.- Solving equations in an equational language.- Nonstandard logics of recursive programs and denotational semantics.
Series Title: Lecture notes in computer science, 343.
Responsibility: J. Grabowski, P. Lescanne, W. Wechler (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/18960002> # Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "18960002" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1065541157#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/algebraische_spezifikation> ; # Algebraische Spezifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/algebra> ; # Algebra
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/termersetzungssystem> ; # Termersetzungssystem
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/programmation_logique> ; # Programmation logique
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/logic_programming> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/logique_algebrique_congres> ; # Logique algébrique--Congrès
   schema:about <http://id.loc.gov/authorities/subjects/sh85003435> ; # Algebraic logic
   schema:about <http://dewey.info/class/006.3/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1065541157#Topic/programmierung> ; # Programmierung
   schema:about <http://id.worldcat.org/fast/804936> ; # Algebraic logic
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/14873538> ; # Jan Grabowski
   schema:contributor <http://viaf.org/viaf/225948150> ; # Pierre Lescanne
   schema:contributor <http://viaf.org/viaf/262330686> ; # Wolfgang Wechler
   schema:copyrightYear "1988" ;
   schema:datePublished "1988" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1065541157> ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1065541157#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/908808180> ;
   schema:name "Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings"@en ;
   schema:productID "18960002" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/18960002#PublicationEvent/berlin_new_york_springer_verlag_1988> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1065541157#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.gbv.de/dms/bowker/toc/9783540506676.pdf> ;
   schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
   schema:url <http://swbplus.bsz-bw.de/bsz018132812cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540506676> ;
   schema:workExample <http://worldcat.org/isbn/9780387506678> ;
   umbel:isLike <http://d-nb.info/881460044> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/18960002> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065541157#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065541157#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/18960002> ; # Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065541157#Topic/algebraische_spezifikation> # Algebraische Spezifikation
    a schema:Intangible ;
   schema:name "Algebraische Spezifikation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1065541157#Topic/logique_algebrique_congres> # Logique algébrique--Congrès
    a schema:Intangible ;
   schema:name "Logique algébrique--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1065541157#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
   schema:name "Logische Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1065541157#Topic/programmation_logique> # Programmation logique
    a schema:Intangible ;
   schema:name "Programmation logique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1065541157#Topic/termersetzungssystem> # Termersetzungssystem
    a schema:Intangible ;
   schema:name "Termersetzungssystem"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85003435> # Algebraic logic
    a schema:Intangible ;
   schema:name "Algebraic logic"@en ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
   schema:name "Logic programming"@en ;
    .

<http://id.worldcat.org/fast/804936> # Algebraic logic
    a schema:Intangible ;
   schema:name "Algebraic logic"@en ;
    .

<http://viaf.org/viaf/14873538> # Jan Grabowski
    a schema:Person ;
   schema:familyName "Grabowski" ;
   schema:givenName "Jan" ;
   schema:givenName "J." ;
   schema:name "Jan Grabowski" ;
    .

<http://viaf.org/viaf/225948150> # Pierre Lescanne
    a schema:Person ;
   schema:familyName "Lescanne" ;
   schema:givenName "Pierre" ;
   schema:name "Pierre Lescanne" ;
    .

<http://viaf.org/viaf/262330686> # Wolfgang Wechler
    a schema:Person ;
   schema:familyName "Wechler" ;
   schema:givenName "Wolfgang" ;
   schema:name "Wolfgang Wechler" ;
    .

<http://worldcat.org/isbn/9780387506678>
    a schema:ProductModel ;
   schema:isbn "0387506675" ;
   schema:isbn "9780387506678" ;
    .

<http://worldcat.org/isbn/9783540506676>
    a schema:ProductModel ;
   schema:isbn "3540506675" ;
   schema:isbn "9783540506676" ;
    .

<http://www.worldcat.org/oclc/908808180>
    a schema:CreativeWork ;
   rdfs:label "Algebraic and logic programming." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/18960002> ; # Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/18960002>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/18960002> ; # Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
   schema:dateModified "2018-03-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.