On Causal Equivalence by Tracing in String Rewriting

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	van Oostrom, Vincent
Format:	Tagungsbericht
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	43
container_issue
container_start_page	27
container_title
container_volume	377
creator	van Oostrom, Vincent
description
doi_str_mv	10.4204/EPTCS.377.2
format	Conference Proceeding
fullrecord	<record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_4204_EPTCS_377_2</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_4204_EPTCS_377_2</sourcerecordid><originalsourceid>FETCH-LOGICAL-c228t-3cb5c105a6f5b65d25208a58cef0e747c83f6d1557a6cd27901b99f2574229163</originalsourceid><addsrcrecordid>eNpNj09LwzAchoMoOOZOfoHcpTX55V9zlFJ1MJi4eg5pmkikVk06Zd_eTj34Xt7n9MCD0CUlJQfCr5uHtt6VTKkSTtACiBIF0Iqc_uNztMr5hcxjGriWC8S3I67tPtsBNx_7-GkHPzqPuwNuk3VxfMZxxLspHenRf6U4zXSBzoIdsl_9_RI93TZtfV9stnfr-mZTOIBqKpjrhKNEWBlEJ0UPAkhlReV8IF5x5SoWZE-FUFa6HpQmtNM6gFAcQFPJlujq1-vSW87JB_Oe4qtNB0OJOTabn2YzNxtg32yXR8A</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>On Causal Equivalence by Tracing in String Rewriting</title><source>Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals</source><creator>van Oostrom, Vincent</creator><creatorcontrib>van Oostrom, Vincent</creatorcontrib><identifier>ISSN: 2075-2180</identifier><identifier>EISSN: 2075-2180</identifier><identifier>DOI: 10.4204/EPTCS.377.2</identifier><language>eng</language><ispartof>Electronic proceedings in theoretical computer science, 2023, Vol.377, p.27-43</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c228t-3cb5c105a6f5b65d25208a58cef0e747c83f6d1557a6cd27901b99f2574229163</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>van Oostrom, Vincent</creatorcontrib><title>On Causal Equivalence by Tracing in String Rewriting</title><title>Electronic proceedings in theoretical computer science</title><issn>2075-2180</issn><issn>2075-2180</issn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2023</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNpNj09LwzAchoMoOOZOfoHcpTX55V9zlFJ1MJi4eg5pmkikVk06Zd_eTj34Xt7n9MCD0CUlJQfCr5uHtt6VTKkSTtACiBIF0Iqc_uNztMr5hcxjGriWC8S3I67tPtsBNx_7-GkHPzqPuwNuk3VxfMZxxLspHenRf6U4zXSBzoIdsl_9_RI93TZtfV9stnfr-mZTOIBqKpjrhKNEWBlEJ0UPAkhlReV8IF5x5SoWZE-FUFa6HpQmtNM6gFAcQFPJlujq1-vSW87JB_Oe4qtNB0OJOTabn2YzNxtg32yXR8A</recordid><startdate>20230401</startdate><enddate>20230401</enddate><creator>van Oostrom, Vincent</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20230401</creationdate><title>On Causal Equivalence by Tracing in String Rewriting</title><author>van Oostrom, Vincent</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c228t-3cb5c105a6f5b65d25208a58cef0e747c83f6d1557a6cd27901b99f2574229163</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2023</creationdate><toplevel>online_resources</toplevel><creatorcontrib>van Oostrom, Vincent</creatorcontrib><collection>CrossRef</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>van Oostrom, Vincent</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>On Causal Equivalence by Tracing in String Rewriting</atitle><btitle>Electronic proceedings in theoretical computer science</btitle><date>2023-04-01</date><risdate>2023</risdate><volume>377</volume><spage>27</spage><epage>43</epage><pages>27-43</pages><issn>2075-2180</issn><eissn>2075-2180</eissn><doi>10.4204/EPTCS.377.2</doi><tpages>17</tpages><oa>free_for_read</oa></addata></record>
fulltext	fulltext
identifier	ISSN: 2075-2180
ispartof	Electronic proceedings in theoretical computer science, 2023, Vol.377, p.27-43
issn	2075-2180 2075-2180
language	eng
recordid	cdi_crossref_primary_10_4204_EPTCS_377_2
source	Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
title	On Causal Equivalence by Tracing in String Rewriting
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T23%3A58%3A25IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=On%20Causal%20Equivalence%20by%20Tracing%20in%20String%20Rewriting&rft.btitle=Electronic%20proceedings%20in%20theoretical%20computer%20science&rft.au=van%20Oostrom,%20Vincent&rft.date=2023-04-01&rft.volume=377&rft.spage=27&rft.epage=43&rft.pages=27-43&rft.issn=2075-2180&rft.eissn=2075-2180&rft_id=info:doi/10.4204/EPTCS.377.2&rft_dat=%3Ccrossref%3E10_4204_EPTCS_377_2%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true