Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alwen Tiu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ranald Clouston

> Home > Persons > Alwen Tiu

Publications

2020
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/LyonTGC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/LyonTGC20
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CSL 2020: 28:1-28:16
2019
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-05215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-05215
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. CoRR abs/1910.05215 (2019)
2018
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/HouCGT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/HouCGT18
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Trans. Comput. Log. 19(2): 13:1-13:35 (2018)
2017
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-10805
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-10805
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Modular Labelled Sequent Calculi for Abstract Separation Logics. CoRR abs/1710.10805 (2017)
2016
[j13]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HouSTGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HouSTGC16
Zhe Hou, David Sanán, Alwen Tiu, Rajeev Goré, Ranald Clouston:
Separata: Isabelle tactics for Separation Algebra. Arch. Formal Proofs 2016 (2016)
2014
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/DawsonCGT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/DawsonCGT14
Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu:
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS 2014: 250-264
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HouCGT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HouCGT14
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. POPL 2014: 465-476
2013
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/CloustonDGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/CloustonDGT13
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu:
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. CSL 2013: 197-214
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CloustonDGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CloustonDGT13
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu:
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. CoRR abs/1307.0289 (2013)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HouCGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HouCGT13
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. CoRR abs/1307.5592 (2013)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.