Sequent Calculus for Euler Diagrams. Linker, S. In Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pages 399–407, 2018. [S4]
![Sequent Calculus for Euler Diagrams [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex 1 download
Paper doi bibtex 1 download @inproceedings{DBLP:conf/diagrams/Linker18,
author = {Sven Linker},
title = {Sequent Calculus for Euler Diagrams},
booktitle = {Diagrammatic Representation and Inference - 10th International Conference,
Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings},
pages = {399--407},
year = {2018},
crossref = {DBLP:conf/diagrams/2018},
url = {https://doi.org/10.1007/978-3-319-91376-6\_37},
doi = {10.1007/978-3-319-91376-6\_37},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/diagrams/Linker18},
bibsource = {dblp computer science bibliography, https://dblp.org},
note = {[<span class="s4">S4</span>]}
}Downloads: 1
{"_id":"edWQZsBGmkGJ6bpPE","bibbaseid":"linker-sequentcalculusforeulerdiagrams-2018","downloads":1,"creationDate":"2018-11-28T15:39:44.307Z","title":"Sequent Calculus for Euler Diagrams","author_short":["Linker, S."],"year":2018,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]}],"title":"Sequent Calculus for Euler Diagrams","booktitle":"Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings","pages":"399–407","year":"2018","crossref":"DBLP:conf/diagrams/2018","url":"https://doi.org/10.1007/978-3-319-91376-6\\_37","doi":"10.1007/978-3-319-91376-6_37","timestamp":"Tue, 10 Jul 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/diagrams/Linker18","bibsource":"dblp computer science bibliography, https://dblp.org","note":"[<span class=\"s4\">S4</span>]","bibtex":"@inproceedings{DBLP:conf/diagrams/Linker18,\n author = {Sven Linker},\n title = {Sequent Calculus for Euler Diagrams},\n booktitle = {Diagrammatic Representation and Inference - 10th International Conference,\n Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings},\n pages = {399--407},\n year = {2018},\n crossref = {DBLP:conf/diagrams/2018},\n url = {https://doi.org/10.1007/978-3-319-91376-6\\_37},\n doi = {10.1007/978-3-319-91376-6\\_37},\n timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/diagrams/Linker18},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n note = {[<span class=\"s4\">S4</span>]}\n}\n\n\n","author_short":["Linker, S."],"key":"DBLP:conf/diagrams/Linker18","id":"DBLP:conf/diagrams/Linker18","bibbaseid":"linker-sequentcalculusforeulerdiagrams-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-91376-6\\_37"},"metadata":{"authorlinks":{"linker, s":"https://cgi.csc.liv.ac.uk/~slk/"}},"downloads":1},"search_terms":["sequent","calculus","euler","diagrams","linker"],"keywords":[],"authorIDs":["23NWGnBoADDc5tnSP","2MjC8kJEbSQD9aztz","2zRTB3Q7a8GGkXKR4","3KCd7RKiipJdubnpi","3uwidWcjAbT8uJEsw","452uzYakZSEoegoXT","5MwsGou8LZBojFA7i","5RpyokJoTrxknbFXE","5bfed12b5aef4b10000000f3","5de7ecadc8f9f6df010001e2","5ded2e5a9d5885de01000067","5deffc9f14db5cdf010001cc","5df1f79078da84de010000ec","5df329c63b310cde01000136","5df34cd6d617e5de01000006","5df436ff96bfa7de01000074","5df6740c797ba9de010000f9","5df92a4ed04b27df010000c0","5dfa2a391c2129de010000d6","5dfee5765dd8e7df0100004c","5dfff38389b920de01000015","5e038a36d6cccbdf010000bc","5e03b6d6a94129de01000056","5e07c886ea5f0bdf010000ce","5e0a6c1c3eccf6e00100008c","5e0b71eae73cd6de010000e3","5e0dddd3552b25df0100012a","5e0f0ad7070585df0100006c","5e10d7970192c6df010000e5","5e15fdf1efa1cddf01000228","5e167fef0ba191df01000113","5e16e6185e8bcfdf0100000e","5e1788abcf35a4de010001a4","5e1c5f81e556c6de010001a8","5e1cede5abed9bde010001d0","5e1f6817e8f5ddde0100015d","5e20d1eeb46c27ee0100008f","5e251937b55b9edf0100006a","5e29ca83edf563df01000216","5e2a42432d8494f201000057","5e2dcabf8ceb9adf01000057","5e307e4bcb949bdf01000004","5e31800600e4e5de0100005d","5e34b1cbed2109df01000049","5e34df9762bc74de010000f7","5e36a65e7b975dde01000008","5e373e7e4cbab2df010000f3","5e37e617e8908edf010000a2","5e38e37a81a46ade0100009a","5e3b0cbaba2e16df01000023","5e3c0e0c0c5519de0100004a","5e3c832ffeacaede010000cb","5e3c8b62feacaede01000146","5e3f6074cd8fe2de010000a4","5e4009f817f17dde0100007a","5e436037a37866de01000178","5e440a93547b4cdf010001c8","5e454afba96575df010000be","5e476cda45a735de010000bc","5e48915a6ac344de0100002e","5e4bbfdba6b53fde01000020","5e53513653de8dde010000d9","5e55520de89e5fde01000048","5e56ecf4a8dabede01000423","5e57263a429006de01000215","5e592530e60e02de01000018","5e59b830103b4fde01000055","5e5a569322eebcde010000a3","5e5ccf2daab7afde010000a0","5e5d6c18ad47bcde010001aa","5e5fbbaf19c3fade01000234","5e610ce531c7d3de01000258","5e62abcf08ebcade01000175","5e661a2efa8a45de010001e9","5e664d1aa77c4ade010001c2","5e664f3aa77c4ade010001e2","5e676bd31dcaf4de010001fb","5e685211149172de01000048","5e6af76169285ede0100004f","5kxm2x8Hk3XBD3xxQ","6TCYM7u8ep9neFJai","6qn2c9ScXv9JL3wty","7YDbwR2jepBkdwHjt","7o37SatWSGo57r7LR","7qcHNct8SEjpnbmFH","89ZMSWjcmw6ZjFdmS","8Eydcv5fHEGMAS6nJ","8MrT6QniKe5r9PRy3","8pDE8vS9B7NWEbXTg","8xw4ovXMkxn2QQ2JD","AEH9EqfgiQjgwZTAJ","AQgzDzCKREJFMG7kP","AZ2KWEiXRDAnAji4X","AhGQWcczTf4LNFWug","AkzQLrs3pfuCZkrNJ","Ax42gcYCHMd5Y7xkQ","BB7T8vTpX3tZP6rZZ","BZvsbAz6dZLj9eeEG","BrkBA32xMgmPc4Rco","CGtmuSAWCwkv67Rri","DJofX33ALvdrbndrr","DXEqW7xtEWXzDcWF8","E9MHr3eeZhkxLiirb","EmF8Bxw6ifCXEpsGN","ErF5j2ExyMA4DdJwL","FTnHdnnRz9SBSwRhh","FZnqqo5nueApxpdgm","FwQbt6vyPdimP4uCf","GP4pbPirHfZHwXTgE","HHCMvx7WujcMdaTa4","JH9hSSdimj2aXXxrW","JefeskGruB68mu2vE","JvRq93zvygRpnFK33","K3sS34ZHCDLBWKJka","K7DFrGks6T7iLwgx4","KB4BNbzdLY9TAnBZa","LQi44oAacy49ZcMEP","La86aAFzQZtDtbSub","LdnGo2hc3qX7mWqYR","MzhEh4j5QqFX9yDfy","NgDgnm7jr6STF4FSL","Nn7chGimwThpeQ2wG","PQLSwepQr39dhEWSd","Ptfx8LxTDY22uiDsF","Q43A52QpdhZYMf4ZR","Q9vTP4SXmLXJ2APEH","QJaKjW4C3FA6PNfjS","QNbmhjtfYkBjhcRFN","RfEGPEtGbw7vh2Svq","Ro2kQfLk5hgQjfbug","SFhjLR2BmsC5E58SA","SNmYGrw22tkcD3KNi","SPbKXDfhjzuYmqx9C","TRgsc9FytXfg4PGkF","TtpfHdfrxZaS86euA","Wd74Q8G9RHqgh39tD","WqK4CFt4Hjhm46pRG","WyE4Fz96Lpwp4JWAp","XLNpvYYJGzx5bc5Au","Xmc5s7RHJbdWgwjbG","YRG8EDAFn3t9MYS5d","YYsCK6Rr6NmBjmgL8","YfYscBn3bD9yXa2rg","YxPvyg2TNk387nuD4","ZDfsEDSkueAq9XzfN","ZXRbYG6AbAbi2vt5J","ZufP5aj2pZgoN9cqv","a9sYGcsokHSTRreYq","aniTSARzdeqHukCBf","bbFzLAE5EoPALRbxQ","bd3nXnNMnbCySxnSD","bfsEGMkutDJ8focS4","bmaRHWsFphF49czs3","cafyymyHW4yaXadGE","daXM9SjkBwauwRE45","doDSBehpcbDTz5oRY","dvk9YAQPDJXYh7HCQ","epRTPN7DCr2akJDH3","fHYFX87DobY9NKWFs","g8dZ9uXjvtfKYK6rL","gJquEj3FtZ9ZMsECw","gMtaXpsK5AfHTmdzp","h3F2GE8F9wShdvnQP","hZDE3zbw7u5nqPqJM","i3pJSteRpxQ59Bybv","iXBgBPEYqMFtweXYT","igCdZ7S5x4QXm7zyZ","jSWkW7hdpuoJMj2jy","kLTXJHka2r7MGFPgm","kWZ8GicB24jPR4Yy4","keGp2dxy4R8Ttn8zS","kmGAmMEbGCRht4tB8","m6fYqXYWjJSkQnRdf","mAfTCmtFw974tybHw","mLnAyMwBjMj2mbTy2","mQf72TfqhxRTudk29","mg8vzvigryX7hEv5v","mokXR5XymRRfHfg2R","nLuAk4cZd7qB9vpJ8","njcrjtK2GauhGXxe6","qHtosA5skrqSSTPW7","qrjnLPPnMpJ7tEaNw","qtanewajH3YyiF84q","t4KjbXahY9r6mBSQm","tJioMgFAsZwJTun7m","u9cBgHMzDTaRGXy2R","u9ocAQQ3Bf7FFisp9","uYGnrTyrNY8ShTfi8","v2hkmTde7BAFhp4H3","vcWj7N6K3XNHbY6qx","vkE2hHDa3K2TWuNQ2","wdNJLAzBys7PC97TN","x56rNM6Y9Y89KNfgB","xJ8kGCfW2HzScYce2","xKyQvdEicJznyJEhx","xfaBxPoHPtHZjtvDr","xsTQxbKvjqFzgRDsh","ynRfde8XNJnFR25tg","zmcjWwKfEKxYtT8NT","zoLMhaWBbpBTCaAZS"],"dataSources":["viaGT23rwj7vKvjeq","sf65xF3tXwz6TBuoQ","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend"]}