A substructural logic for layered graphs

Saved in:
Bibliographic Details
Published in:Journal of logic and computation 2014-08, Vol.24 (4), p.953-988
Main Authors: Collinson, M., McDonald, K., Pym, D.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c276t-e5cef895fe535169ba1cb1c9d425b67f68a732791b4ff0412cfd07f58768379d3
cites cdi_FETCH-LOGICAL-c276t-e5cef895fe535169ba1cb1c9d425b67f68a732791b4ff0412cfd07f58768379d3
container_end_page 988
container_issue 4
container_start_page 953
container_title Journal of logic and computation
container_volume 24
creator Collinson, M.
McDonald, K.
Pym, D.
description
doi_str_mv 10.1093/logcom/exu002
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1093_logcom_exu002</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1093_logcom_exu002</sourcerecordid><originalsourceid>FETCH-LOGICAL-c276t-e5cef895fe535169ba1cb1c9d425b67f68a732791b4ff0412cfd07f58768379d3</originalsourceid><addsrcrecordid>eNotz0tLAzEYheEgCo7Vpfss3cTmy3WyLMUbFNwodBeSTL5amTIlmQH7762Mq7M5vPAQcg_8EbiTy37YpeGwzD8T5-KCNKCMZtLI7SVpuNOaWSe21-Sm1m9-fhhQDXlY0TrFOpYpjVMJPT1H9oniUGgfTrnkju5KOH7VW3KFoa_57n8X5PP56WP9yjbvL2_r1YYlYc3Isk4ZW6cxa6nBuBggRUiuU0JHY9G0wUphHUSFyBWIhB23qFtrWmldJxeEzd1UhlpLRn8s-0MoJw_c_zH9zPQzU_4CMVxH7Q</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>A substructural logic for layered graphs</title><source>Oxford Journals Online</source><creator>Collinson, M. ; McDonald, K. ; Pym, D.</creator><creatorcontrib>Collinson, M. ; McDonald, K. ; Pym, D.</creatorcontrib><identifier>ISSN: 0955-792X</identifier><identifier>EISSN: 1465-363X</identifier><identifier>DOI: 10.1093/logcom/exu002</identifier><language>eng</language><ispartof>Journal of logic and computation, 2014-08, Vol.24 (4), p.953-988</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c276t-e5cef895fe535169ba1cb1c9d425b67f68a732791b4ff0412cfd07f58768379d3</citedby><cites>FETCH-LOGICAL-c276t-e5cef895fe535169ba1cb1c9d425b67f68a732791b4ff0412cfd07f58768379d3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27923,27924</link.rule.ids></links><search><creatorcontrib>Collinson, M.</creatorcontrib><creatorcontrib>McDonald, K.</creatorcontrib><creatorcontrib>Pym, D.</creatorcontrib><title>A substructural logic for layered graphs</title><title>Journal of logic and computation</title><issn>0955-792X</issn><issn>1465-363X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2014</creationdate><recordtype>article</recordtype><recordid>eNotz0tLAzEYheEgCo7Vpfss3cTmy3WyLMUbFNwodBeSTL5amTIlmQH7762Mq7M5vPAQcg_8EbiTy37YpeGwzD8T5-KCNKCMZtLI7SVpuNOaWSe21-Sm1m9-fhhQDXlY0TrFOpYpjVMJPT1H9oniUGgfTrnkju5KOH7VW3KFoa_57n8X5PP56WP9yjbvL2_r1YYlYc3Isk4ZW6cxa6nBuBggRUiuU0JHY9G0wUphHUSFyBWIhB23qFtrWmldJxeEzd1UhlpLRn8s-0MoJw_c_zH9zPQzU_4CMVxH7Q</recordid><startdate>20140801</startdate><enddate>20140801</enddate><creator>Collinson, M.</creator><creator>McDonald, K.</creator><creator>Pym, D.</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20140801</creationdate><title>A substructural logic for layered graphs</title><author>Collinson, M. ; McDonald, K. ; Pym, D.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c276t-e5cef895fe535169ba1cb1c9d425b67f68a732791b4ff0412cfd07f58768379d3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2014</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Collinson, M.</creatorcontrib><creatorcontrib>McDonald, K.</creatorcontrib><creatorcontrib>Pym, D.</creatorcontrib><collection>CrossRef</collection><jtitle>Journal of logic and computation</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Collinson, M.</au><au>McDonald, K.</au><au>Pym, D.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A substructural logic for layered graphs</atitle><jtitle>Journal of logic and computation</jtitle><date>2014-08-01</date><risdate>2014</risdate><volume>24</volume><issue>4</issue><spage>953</spage><epage>988</epage><pages>953-988</pages><issn>0955-792X</issn><eissn>1465-363X</eissn><doi>10.1093/logcom/exu002</doi><tpages>36</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0955-792X
ispartof Journal of logic and computation, 2014-08, Vol.24 (4), p.953-988
issn 0955-792X
1465-363X
language eng
recordid cdi_crossref_primary_10_1093_logcom_exu002
source Oxford Journals Online
title A substructural logic for layered graphs
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T06%3A30%3A54IST&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:journal&rft.genre=article&rft.atitle=A%20substructural%20logic%20for%20layered%20graphs&rft.jtitle=Journal%20of%20logic%20and%20computation&rft.au=Collinson,%20M.&rft.date=2014-08-01&rft.volume=24&rft.issue=4&rft.spage=953&rft.epage=988&rft.pages=953-988&rft.issn=0955-792X&rft.eissn=1465-363X&rft_id=info:doi/10.1093/logcom/exu002&rft_dat=%3Ccrossref%3E10_1093_logcom_exu002%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c276t-e5cef895fe535169ba1cb1c9d425b67f68a732791b4ff0412cfd07f58768379d3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true