( en | de | ru )

 

Disambiguation of "Tiu, Alwen"

Author of the publication

copydeleteadd this publication to your clipboard
SPEC: An Equivalence Checker for Security Protocols.

, , and . APLAS, volume 10017 of Lecture Notes in Computer Science, page 87-95. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

George Christian Tiurbe

Willi Alwens

Payvand Tiurchy

 

Other publications of authors with the same name

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics, , and . Logical Methods in Computer Science, (2011)A Local System for Intuitionistic Logic.. LPAR, volume 4246 of Lecture Notes in Computer Science, page 242-256. Springer, (2006)Constructing weak simulations from linear implications for processes with private names., and . Math. Struct. Comput. Sci., 29 (8): 1275-1308 (2019)Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures., , and . Advances in Modal Logic, page 516-537. College Publications, (2012)Compositional Reasoning for Shared-Variable Concurrent Programs., , , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 523-541. Springer, (2018)Extracting Proofs from Tabled Proof Search., and . CPP, volume 8307 of Lecture Notes in Computer Science, page 194-210. Springer, (2013)Dagster: Parallel Structured Search with Case Studies., , , , , and . PRICAI (1), volume 13629 of Lecture Notes in Computer Science, page 75-89. Springer, (2022)A labelled sequent calculus for BBI: proof theory and proof search., , and . J. Log. Comput., 28 (4): 809-872 (2018)De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic., , , and . ACM Trans. Comput. Log., 20 (4): 22:1-22:44 (2019)Induction and Co-induction in Sequent Calculus, and . CoRR, (2008)