MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Alwen Tiu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

A logic for reasoning about generic judgments
by Alwen Tiu — 2006 — International Workshop on Logical Frameworks and Meta-Languages:Theory and Practice (LFMTP’06
…Abstract LFMTP 2006 A Logic for Reasoning about Generic Judgments Alwen Tiu Australian National…
Cited by 3 (1 self) – Add To MetaCart

A local system for intuitionistic logic
by Alwen Tiu — 2006 — of Lecture Notes in Artificial Intelligence
…A Local System for Intuitionistic Logic Alwen Tiu Australian National University and National ICT…
Cited by 3 (1 self) – Add To MetaCart

Model checking for π-calculus using proof search
by Alwen Tiu — 2005 — CONCUR, volume 3653 of LNCS
…Model Checking for π-Calculus Using Proof Search Alwen Tiu INRIA Lorraine 615 rue du Jardin…
Cited by 10 (3 self) – Add To MetaCart

A System of Interaction and Structure II: The Need for Deep Inference
by Alwen Tiu — 2005 — Logical Methods in Computer Science
…A System of Interaction and Structure II: The Need for Deep Inference Alwen Tiu ∗ DRAFT – July 5…
Cited by 9 (1 self) – Add To MetaCart

A Local System for Intuitionistic Logic: Preliminary Results
by Alwen Tiu, Inria Lorraine — 2005
…A Local System for Intuitionistic Logic: Preliminary Results ⋆ Alwen Tiu INRIA Lorraine 615 rue du…
Cited by 2 (0 self) – Add To MetaCart

A proof theory for generic judgments: An extended abstract
by Dale Miller, Alwen Tiu — 2003 — In LICS 2003
… for infinite premises with finite premises (the base cases and inductive cases) but with the Alwen Tiu École…
Cited by 30 (11 self) – Add To MetaCart

Induction and Co-induction in Sequent Calculus
by Alberto Momigliano, Alwen Tiu — 2003 — In Mario Coppo Stefano Berardi and Ferruccio Damiani, editors, Post-proceedings of TYPES 2003, number 3085 in LNCS, pages 293 – 308
…Induction and Co-induction in Sequent Calculus Alberto Momigliano 1,2 and Alwen Tiu 3,4 1 LFCS…
Cited by 12 (4 self) – Add To MetaCart

A Proof Theory for Generic Judgments
by Dale Miller, Alwen Tiu — 2003
…@(email omitted); and Alwen Tiu École polytechnique & Penn State University tiu@(email omitted); The operational semantics of a…
Cited by 32 (5 self) – Add To MetaCart

Combining Algorithms for A1- and AC1-Unification Sharing Unit
by Alwen Fernanto Tiu — 2001
…Combining Algorithms for A1- and AC1-Unication Sharing Unit Alwen Fernanto Tiu February 1, 2001 1…
Add To MetaCart

A1-Unification
by Alwen Fernanto Tiu — 2001
…A1-Unication Alwen Fernanto Tiu February 1, 2001 1 Introduction The unication problem over…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB