Searching for authors named "Phuong Nguyen" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Bounded Reverse Mathematics by
- … Bounded Reverse Mathematics by Phuong Nguyen A thesis submitted in conformity…
- Add To MetaCart
-
Inductive Logic Programming
- … Programming Phuong Nguyen (2200798) Bachelor of Science (Computer Science) November 2001 Supervisors: Prof…
- Add To MetaCart
-
Separating dag-like and tree-like proof systems
- …Separating DAG-Like and Tree-Like Proof Systems Phuong Nguyen University of Toronto April 26, 2007…
- Cited by 1 (0 self) – Add To MetaCart
-
Comments and Corrections Appreciated
- …Almost-Complete draft (450 pages) now available on our web sites.…
- Add To MetaCart
-
Characterizing Polynomial Time Computable Functions Using Theories with Weak Set Existence Principles
- … principles Aleksandar Ignjatović and Phuong Nguyen September 15, 2002 Abstract In this paper we define a…
- Cited by 2 (1 self) – Add To MetaCart
-
Theory for TC 0 and Other Small Complexity Classes
- … Theories for TC 0 and other Small Complexity Classes Phuong Nguyen and Stephen Cook November…
- Cited by 7 (2 self) – Add To MetaCart
-
V TC 0 : A Second-Order Theory for TC 0
- … VTC0: A Second-Order Theory for TC0 Phuong Nguyen and Stephen CookDepartment of Computer Science…
- Cited by 4 (0 self) – Add To MetaCart
-
The Complexity of Proving Discrete Jordan Curve Theorem
- …The Complexity of Proving the Discrete Jordan Curve Theorem Phuong Nguyen and Stephen Cook…
- Cited by 1 (0 self) – Add To MetaCart
-
Relativizing Small Complexity Classes and their Theories
- …Relativizing Small Complexity Classes and their Theories Klaus Aehlig ∗ Stephen Cook Phuong Nguyen…
- Cited by 1 (0 self) – Add To MetaCart
-
Learning in Logic with RichProlog
- …Learning in Logic with RichProlog # Eric Martin 1 , Phuong Nguyen 1 , Arun Sharma 1…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
