Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to t...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tison, Sophie
Format:	Buch
Sprache:	eng
Schlagworte:	Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computer Science Computer software Data structures (Computer scienc Data Structures and Information Theory Information theory Logic design Logics and Meanings of Programs Programming Techniques 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	787
creator	Tison, Sophie
description	This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers.
doi_str_mv	10.1007/BFb0017469
format	Book
fullrecord	<record><control><sourceid>springer</sourceid><recordid>TN_cdi_springer_books_10_1007_BFb0017469</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10.1007/BFb0017469</sourcerecordid><originalsourceid>FETCH-LOGICAL-a24785-68ea87861887e7517f3654c9d913c4d602f1cc38d72d6b4cacfc191d47105413</originalsourceid><addsrcrecordid>eNptULtOwzAUNS-JUrrwBdlgINQ398bXHtOKAlIlOhSJLXIcJwTaFNkSMx_BF_IltAKJpWc5w3no6AhxAfIGpOTxZFZJCUzKHIiRYY05SdLICIdiAAogRSRzJM52Qs6azfOxGEiUWWqY8FSMYnyVW2DGaGggrpfB-5h0fVKsWl8Fm9i-ThZh0wa7Xnd9m3x_fiXTolhcGjoXJ41dRT_646F4mt0up_fp_PHuYVrMU5sR6zxV2lvNWoHW7DkHblDl5ExtAB3VSmYNOIe65qxWFTnrGgcGamKQOQEOxdVvb3wP2wk-lNVm8xZLkOXuhfL_ha11vMdqg3vpPvzexA_Xi1Z6</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype></control><display><type>book</type><title>Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings</title><source>Springer Books</source><creator>Tison, Sophie</creator><contributor>Tison, Sophie</contributor><creatorcontrib>Tison, Sophie ; SpringerLink (Online service) ; Tison, Sophie</creatorcontrib><description>This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 354057879X</identifier><identifier>ISBN: 9783540578796</identifier><identifier>ISBN: 3662208512</identifier><identifier>ISBN: 9783662208519</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540483731</identifier><identifier>EISBN: 354048373X</identifier><identifier>DOI: 10.1007/BFb0017469</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Algorithm Analysis and Problem Complexity ; Computation by Abstract Devices ; Computer Science ; Computer software ; Data structures (Computer scienc ; Data Structures and Information Theory ; Information theory ; Logic design ; Logics and Meanings of Programs ; Programming Techniques ; Theory of Computation</subject><creationdate>1994</creationdate><tpages>XI, 361</tpages><format>XI, 361</format><rights>Springer-Verlag Berlin Heidelberg 1994</rights><lds50>peer_reviewed</lds50><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-48373-1</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/BFb0017469$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/BFb0017469$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>306,309,776,780,782,785,27902,38232,41418,42487</link.rule.ids></links><search><contributor>Tison, Sophie</contributor><creatorcontrib>Tison, Sophie</creatorcontrib><creatorcontrib>SpringerLink (Online service)</creatorcontrib><title>Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings</title><description>This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers.</description><subject>Algorithm Analysis and Problem Complexity</subject><subject>Computation by Abstract Devices</subject><subject>Computer Science</subject><subject>Computer software</subject><subject>Data structures (Computer scienc</subject><subject>Data Structures and Information Theory</subject><subject>Information theory</subject><subject>Logic design</subject><subject>Logics and Meanings of Programs</subject><subject>Programming Techniques</subject><subject>Theory of Computation</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>354057879X</isbn><isbn>9783540578796</isbn><isbn>3662208512</isbn><isbn>9783662208519</isbn><isbn>9783540483731</isbn><isbn>354048373X</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>1994</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNptULtOwzAUNS-JUrrwBdlgINQ398bXHtOKAlIlOhSJLXIcJwTaFNkSMx_BF_IltAKJpWc5w3no6AhxAfIGpOTxZFZJCUzKHIiRYY05SdLICIdiAAogRSRzJM52Qs6azfOxGEiUWWqY8FSMYnyVW2DGaGggrpfB-5h0fVKsWl8Fm9i-ThZh0wa7Xnd9m3x_fiXTolhcGjoXJ41dRT_646F4mt0up_fp_PHuYVrMU5sR6zxV2lvNWoHW7DkHblDl5ExtAB3VSmYNOIe65qxWFTnrGgcGamKQOQEOxdVvb3wP2wk-lNVm8xZLkOXuhfL_ha11vMdqg3vpPvzexA_Xi1Z6</recordid><startdate>1994</startdate><enddate>1994</enddate><creator>Tison, Sophie</creator><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>1994</creationdate><title>Trees in Algebra and Programming — CAAP'94</title><author>Tison, Sophie</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a24785-68ea87861887e7517f3654c9d913c4d602f1cc38d72d6b4cacfc191d47105413</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>1994</creationdate><topic>Algorithm Analysis and Problem Complexity</topic><topic>Computation by Abstract Devices</topic><topic>Computer Science</topic><topic>Computer software</topic><topic>Data structures (Computer scienc</topic><topic>Data Structures and Information Theory</topic><topic>Information theory</topic><topic>Logic design</topic><topic>Logics and Meanings of Programs</topic><topic>Programming Techniques</topic><topic>Theory of Computation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Tison, Sophie</creatorcontrib><creatorcontrib>SpringerLink (Online service)</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Tison, Sophie</au><au>Tison, Sophie</au><aucorp>SpringerLink (Online service)</aucorp><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>1994</date><risdate>1994</risdate><volume>787</volume><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>354057879X</isbn><isbn>9783540578796</isbn><isbn>3662208512</isbn><isbn>9783662208519</isbn><eisbn>9783540483731</eisbn><eisbn>354048373X</eisbn><abstract>This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/BFb0017469</doi><tpages>XI, 361</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof
issn	0302-9743 1611-3349
language	eng
recordid	cdi_springer_books_10_1007_BFb0017469
source	Springer Books
subjects	Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computer Science Computer software Data structures (Computer scienc Data Structures and Information Theory Information theory Logic design Logics and Meanings of Programs Programming Techniques Theory of Computation
title	Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-09T22%3A47%3A54IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-springer&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Trees%20in%20Algebra%20and%20Programming%20%E2%80%94%20CAAP'94:%2019th%20International%20Colloquium%20Edinburgh,%20U.K.,%20April%2011%E2%80%9313,%201994%20Proceedings&rft.au=Tison,%20Sophie&rft.aucorp=SpringerLink%20(Online%20service)&rft.date=1994&rft.volume=787&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=354057879X&rft.isbn_list=9783540578796&rft.isbn_list=3662208512&rft.isbn_list=9783662208519&rft_id=info:doi/10.1007/BFb0017469&rft_dat=%3Cspringer%3E10.1007/BFb0017469%3C/springer%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540483731&rft.eisbn_list=354048373X&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true