skip to content
Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers Preview this item
ClosePreview this item
Checking...

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers

Author: J Heering
Publisher: Berlin ; New York : Springer-Verlag, ©1994.
Series: Lecture notes in computer science, 816.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

The research papers collected in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques such as resolution and term rewriting, and  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congressen (vorm)
Congresses
Additional Physical Format: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands).
Higher-order algebra, logic, and term rewriting.
Berlin ; New York : Springer-Verlag, ©1994
(DLC) 94003447
(OCoLC)30667008
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Heering
ISBN: 9783540485797 3540485791
OCLC Number: 327055700
Description: 1 online resource (344 pages) : illustrations.
Contents: Interaction systems.- Strong normalization of typeable rewrite systems.- A transformation system combining partial evaluation with term rewriting.- Prototyping relational specifications using higher-order objects.- Origin tracking for higher-order term rewriting systems.- Theory interpretation in simple type theory.- The semantics of SPECTRUM.- ATLAS: A typed language for algebraic specification.- Compilation of Combinatory Reduction Systems.- Specification and verification in higher order algebra: A case study of convolution.- Ordered and continuous models of higher-order specifications.- Rewriting properties of combinators for rudimentary linear logic.- Comparing combinatory reduction systems and higher-order rewrite systems.- Termination proofs for higher-order rewrite systems.- Extensions of initial models and their second-order proof systems.
Series Title: Lecture notes in computer science, 816.
Other Titles: HOA '93
Responsibility: Jan Heering [and others], eds.

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/327055700> # Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "327055700" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/103982684#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/103982684#Topic/logica> ; # Logica
    schema:about <http://id.worldcat.org/fast/804885> ; # Algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/103982684#Topic/algebra> ; # Algebra
    schema:about <http://dewey.info/class/005.1015113/e20/> ;
    schema:about <http://id.worldcat.org/fast/1096809> ; # Rewriting systems (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/103982684#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:alternateName "HOA '93" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/30230949> ; # J. Heering
    schema:copyrightYear "1994" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/103982684#Meeting/international_workshop_on_higher_order_algebra_logic_and_term_rewriting_1st_1993_amsterdam_netherlands> ; # International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands)
    schema:datePublished "1994" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/103982684> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Congressen (vorm)"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/103982684#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/30667008> ;
    schema:name "Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers"@en ;
    schema:productID "327055700" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/327055700#PublicationEvent/berlin_new_york_springer_verlag_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/103982684#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/3-540-58233-9> ;
    schema:workExample <http://worldcat.org/isbn/9783540485797> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/327055700> ;
    .


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/103982684#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/103982684#Meeting/international_workshop_on_higher_order_algebra_logic_and_term_rewriting_1st_1993_amsterdam_netherlands> # International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/103982684#Place/amsterdam_netherlands> ; # Amsterdam, Netherlands)
    schema:name "International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/103982684#Place/amsterdam_netherlands> # Amsterdam, Netherlands)
    a schema:Place ;
    schema:name "Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/103982684#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/327055700> ; # Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1096809> # Rewriting systems (Computer science)
    a schema:Intangible ;
    schema:name "Rewriting systems (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/804885> # Algebra
    a schema:Intangible ;
    schema:name "Algebra"@en ;
    .

<http://viaf.org/viaf/30230949> # J. Heering
    a schema:Person ;
    schema:familyName "Heering" ;
    schema:givenName "J." ;
    schema:name "J. Heering" ;
    .

<http://worldcat.org/isbn/9783540485797>
    a schema:ProductModel ;
    schema:isbn "3540485791" ;
    schema:isbn "9783540485797" ;
    .

<http://www.worldcat.org/oclc/30667008>
    a schema:CreativeWork ;
    rdfs:label "Higher-order algebra, logic, and term rewriting." ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/327055700> ; # Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
    .

<http://www.worldcat.org/title/-/oclc/327055700>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/327055700> ; # Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
    schema:dateModified "2016-08-03" ;
    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.