Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Futatsugi, Kokichi, Jouannaud, Jean-Pierre, Meseguer, José
Format:	Buch
Sprache:	eng
Schlagworte:	Algebra Artificial Intelligence Computer Science Congresses Data processing Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page
container_issue
container_start_page
container_title
container_volume	4060
creator	Futatsugi, Kokichi Jouannaud, Jean-Pierre Meseguer, José
description
doi_str_mv	10.1007/11780274
format	Book
fullrecord	<record><control><sourceid>proquest_sprin</sourceid><recordid>TN_cdi_springer_books_10_1007_11780274</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3068117</sourcerecordid><originalsourceid>FETCH-LOGICAL-a48076-a757fd316277ce4a145f375aa88345374178cb76089ba6b0fae2f23c9371954c3</originalsourceid><addsrcrecordid>eNo1kE1PwzAMhsOnKGMSP2G7wGUFJ07i5Diq8SENcUGIW-V26TQY7Wi7_0-mMUuWD3786vUrxLWEOwlA91KSA0X6SAw9OTQaYlutjkUirZQpovYn4vKwUJ-nIgEElXrSeC4SZZX1iNZciGHXfUEsjIcIiRhP18tQtDwZvQauV_VyMuJ6Mcqan822537V1FfirOJ1F4b_cyA-Hmfv2XM6f3t6yabzlLUDsimToWoRdRVRGTRLbSokw-wcaoOk4xNlQRacL9gWUHFQlcLSI0lvdIkDcbMX7jZtNBLavGia7y6XkO9SyA8pRPB2D27a5ncbuj4PO7IMdd_yOp89ZAjWRRz_ABbxUUU</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC3068117</pqid></control><display><type>book</type><title>Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday</title><source>Springer Books</source><creator>Futatsugi, Kokichi ; Jouannaud, Jean-Pierre ; Meseguer, José</creator><contributor>Futatsugi, Kokichi ; Jouannaud, Jean-Pierre ; Meseguer, José</contributor><creatorcontrib>Futatsugi, Kokichi ; Jouannaud, Jean-Pierre ; Meseguer, José ; Futatsugi, Kokichi ; Jouannaud, Jean-Pierre ; Meseguer, José</creatorcontrib><edition>1</edition><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 354035462X</identifier><identifier>ISBN: 9783540354628</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540354642</identifier><identifier>EISBN: 3540354646</identifier><identifier>DOI: 10.1007/11780274</identifier><identifier>OCLC: 262693365</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin / Heidelberg</publisher><subject>Algebra ; Artificial Intelligence ; Computer Science ; Congresses ; Data processing ; Logics and Meanings of Programs ; Mathematical Logic and Formal Languages ; Mathematics of Computing ; Theory of Computation</subject><creationdate>2006</creationdate><tpages>678</tpages><format>678</format><rights>Springer-Verlag Berlin Heidelberg 2006</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://media.springernature.com/w306/springer-static/cover-hires/book/978-3-540-35464-2</thumbnail><linktohtml>$$Uhttps://link.springer.com/10.1007/11780274$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>306,778,782,784,27908,38238,42494</link.rule.ids></links><search><contributor>Futatsugi, Kokichi</contributor><contributor>Jouannaud, Jean-Pierre</contributor><contributor>Meseguer, José</contributor><creatorcontrib>Futatsugi, Kokichi</creatorcontrib><creatorcontrib>Jouannaud, Jean-Pierre</creatorcontrib><creatorcontrib>Meseguer, José</creatorcontrib><title>Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday</title><subject>Algebra</subject><subject>Artificial Intelligence</subject><subject>Computer Science</subject><subject>Congresses</subject><subject>Data processing</subject><subject>Logics and Meanings of Programs</subject><subject>Mathematical Logic and Formal Languages</subject><subject>Mathematics of Computing</subject><subject>Theory of Computation</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>354035462X</isbn><isbn>9783540354628</isbn><isbn>9783540354642</isbn><isbn>3540354646</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2006</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNo1kE1PwzAMhsOnKGMSP2G7wGUFJ07i5Diq8SENcUGIW-V26TQY7Wi7_0-mMUuWD3786vUrxLWEOwlA91KSA0X6SAw9OTQaYlutjkUirZQpovYn4vKwUJ-nIgEElXrSeC4SZZX1iNZciGHXfUEsjIcIiRhP18tQtDwZvQauV_VyMuJ6Mcqan822537V1FfirOJ1F4b_cyA-Hmfv2XM6f3t6yabzlLUDsimToWoRdRVRGTRLbSokw-wcaoOk4xNlQRacL9gWUHFQlcLSI0lvdIkDcbMX7jZtNBLavGia7y6XkO9SyA8pRPB2D27a5ncbuj4PO7IMdd_yOp89ZAjWRRz_ABbxUUU</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Futatsugi, Kokichi</creator><creator>Jouannaud, Jean-Pierre</creator><creator>Meseguer, José</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>2006</creationdate><title>Algebra, Meaning, and Computation</title><author>Futatsugi, Kokichi ; Jouannaud, Jean-Pierre ; Meseguer, José</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a48076-a757fd316277ce4a145f375aa88345374178cb76089ba6b0fae2f23c9371954c3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Algebra</topic><topic>Artificial Intelligence</topic><topic>Computer Science</topic><topic>Congresses</topic><topic>Data processing</topic><topic>Logics and Meanings of Programs</topic><topic>Mathematical Logic and Formal Languages</topic><topic>Mathematics of Computing</topic><topic>Theory of Computation</topic><toplevel>online_resources</toplevel><creatorcontrib>Futatsugi, Kokichi</creatorcontrib><creatorcontrib>Jouannaud, Jean-Pierre</creatorcontrib><creatorcontrib>Meseguer, José</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Futatsugi, Kokichi</au><au>Jouannaud, Jean-Pierre</au><au>Meseguer, José</au><au>Futatsugi, Kokichi</au><au>Jouannaud, Jean-Pierre</au><au>Meseguer, José</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2006</date><risdate>2006</risdate><volume>4060</volume><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>354035462X</isbn><isbn>9783540354628</isbn><eisbn>9783540354642</eisbn><eisbn>3540354646</eisbn><cop>Berlin, Heidelberg</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/11780274</doi><oclcid>262693365</oclcid><tpages>678</tpages><edition>1</edition></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof
issn	0302-9743 1611-3349
language	eng
recordid	cdi_springer_books_10_1007_11780274
source	Springer Books
subjects	Algebra Artificial Intelligence Computer Science Congresses Data processing Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Theory of Computation
title	Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-16T18%3A40%3A27IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Algebra,%20Meaning,%20and%20Computation:%20Essays%20Dedicated%20to%20Joseph%20A.%20Goguen%20on%20the%20Occasion%20of%20His%2065th%20Birthday&rft.au=Futatsugi,%20Kokichi&rft.date=2006&rft.volume=4060&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=354035462X&rft.isbn_list=9783540354628&rft_id=info:doi/10.1007/11780274&rft_dat=%3Cproquest_sprin%3EEBC3068117%3C/proquest_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540354642&rft.eisbn_list=3540354646&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3068117&rft_id=info:pmid/&rfr_iscdi=true