skip to content
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday Preview this item
ClosePreview this item
Checking...

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Author: Kokichi Futatsugi; Jean-Pierre Jouannaud; José Meseguer; Joseph Goguen
Publisher: Berlin ; New York : Springer, ©2006.
Series: Lecture notes in computer science, 4060.; Lecture notes in computer science., Festschrift.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work.

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: Conference papers and proceedings
Congresses
Congrès
Named Person: Joseph Goguen; Joseph Goguen; Joseph Goguen
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Kokichi Futatsugi; Jean-Pierre Jouannaud; José Meseguer; Joseph Goguen
ISBN: 354035462X 9783540354628
OCLC Number: 70664219
Notes: Papers presented at a symposium in San Diego, Calif., June 27-29, 2006.
Description: xxxviii, 642 pages : illustrations ; 24 cm.
Contents: Meaning.- Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity.- My Friend Joseph Goguen.- Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany.- Meta-Logic.- Quantum Institutions.- Jewels of Institution-Independent Model Theory.- Semantic Web Languages - Towards an Institutional Perspective.- Institutional 2-cells and Grothendieck Institutions.- Some Varieties of Equational Logic.- Complete Categorical Deduction for Satisfaction as Injectivity.- Specification and Composition.- Extension Morphisms for CommUnity.- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.- From OBJ to ML to Coq.- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.- From OBJ to Maude and Beyond.- Constructive Action Semantics in OBJ.- Horizontal Composability Revisited.- Composition by Colimit and Formal Software Development.- Behaviour and Formal Languages.- Proving Behavioral Refinements of COL-specifications.- The Reactive Engine for Modular Transducers.- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.- Sheaves and Structures of Transition Systems.- Uniform Functors on Sets.- An Algebraic Approach to Regular Sets.- Models, Deduction, and Computation.- Elementary Algebraic Specifications of the Rational Complex Numbers.- From Chaos to Undefinedness.- Completion Is an Instance of Abstract Canonical System Inference.- Eliminating Dependent Pattern Matching.- Iterative Lexicographic Path Orders.- A Functorial Framework for Constraint Normal Logic Programming.- A Stochastic Theory of Black-Box Software Testing.- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.- Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences.
Series Title: Lecture notes in computer science, 4060.; Lecture notes in computer science., Festschrift.
Responsibility: Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (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/70664219> # Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "70664219" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1102976833#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://experiment.worldcat.org/entity/work/data/1102976833#Topic/algebre_informatique> ; # Algèbre--Informatique
    schema:about <http://dewey.info/class/005.101512/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1102976833#Person/goguen_joseph> ; # Joseph Goguen
    schema:about <http://experiment.worldcat.org/entity/work/data/1102976833#Thing/computation> ; # Computation
    schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
    schema:about <http://viaf.org/viaf/94370071> ; # Joseph Goguen
    schema:about <http://experiment.worldcat.org/entity/work/data/1102976833#Topic/algebre> ; # Algèbre
    schema:about <http://id.worldcat.org/fast/804885> ; # Algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/1102976833#Topic/algebra_data_processing> ; # Algebra--Data processing
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/80340170> ; # José Meseguer
    schema:contributor <http://viaf.org/viaf/42535233> ; # Kokichi Futatsugi
    schema:contributor <http://viaf.org/viaf/41941982> ; # Jean-Pierre Jouannaud
    schema:contributor <http://viaf.org/viaf/94370071> ; # Joseph Goguen
    schema:copyrightYear "2006" ;
    schema:datePublished "2006" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1102976833> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Festschrift
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1102976833#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:name "Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday"@en ;
    schema:productID "70664219" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/70664219#PublicationEvent/berlin_new_york_springer_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1102976833#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/11780274> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t4060.htm> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4060> ;
    schema:workExample <http://worldcat.org/isbn/9783540354628> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA667531> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/70664219> ;
    .


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/1102976833#Person/goguen_joseph> # Joseph Goguen
    a schema:Person ;
    schema:familyName "Goguen" ;
    schema:givenName "Joseph" ;
    schema:name "Joseph Goguen" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102976833#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/70664219> ; # Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102976833#Topic/algebre_informatique> # Algèbre--Informatique
    a schema:Intangible ;
    schema:name "Algèbre--Informatique"@fr ;
    .

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

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

<http://viaf.org/viaf/41941982> # Jean-Pierre Jouannaud
    a schema:Person ;
    schema:familyName "Jouannaud" ;
    schema:givenName "Jean-Pierre" ;
    schema:name "Jean-Pierre Jouannaud" ;
    .

<http://viaf.org/viaf/42535233> # Kokichi Futatsugi
    a schema:Person ;
    schema:familyName "Futatsugi" ;
    schema:givenName "Kokichi" ;
    schema:name "Kokichi Futatsugi" ;
    .

<http://viaf.org/viaf/80340170> # José Meseguer
    a schema:Person ;
    schema:familyName "Meseguer" ;
    schema:givenName "José" ;
    schema:name "José Meseguer" ;
    .

<http://viaf.org/viaf/94370071> # Joseph Goguen
    a schema:Person ;
    schema:familyName "Goguen" ;
    schema:givenName "Joseph" ;
    schema:name "Joseph Goguen" ;
    .

<http://worldcat.org/isbn/9783540354628>
    a schema:ProductModel ;
    schema:isbn "354035462X" ;
    schema:isbn "9783540354628" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Festschrift
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/70664219> ; # Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Festschrift" ;
    .

<http://www.worldcat.org/title/-/oclc/70664219>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/70664219> ; # Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
    schema:dateModified "2018-11-13" ;
    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.