Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alwen Tiu
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extracting Proofs From Tabled Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Proof Theory for Machine Code
ACM Transactions on Programming Languages and Systems
Software
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations
Discrete and Computational Geometry
Combinatorics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Topology
Theoretical Computer Science
Proof Systems for Retracts in Simply Typed Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deep Proof Search in MELL
Deep Network Guided Proof Search
Proof Search in Lax Logic
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Proof Theory and Computational Analysis
BRICS Report Series
Extracting the Resolution Algorithm From a Completeness Proof for the Propositional Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
