Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Chuck Liang" ( http://dblp.L3S.de/Authors/Chuck_Liang )

  Author page on DBLP  Author page in RDF  Community of Chuck Liang in ASPL-2

Publication years (Num. hits)
1997-2011 (11)
Publication types (Num. hits)
article(4) inproceedings(7)
Venues (Conferences, Journals, ...)
Ann. Pure Appl. Logic(1) Computational Logic(1) CoRR(1) CSL(1) J. Autom. Reasoning(1) LICS(1) PADL(1) RTA(1) TAPSOFT(1) Theor. Comput. Sci.(1) TPHOLs(1)
Authors
Chuck Liang(11) Dale Miller(5) Gopalan Nadathur(2) Xiaochu Qi(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Chuck Liang, Dale Miller A focused approach to combining logics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chuck Liang, Dale Miller Focusing and polarization in linear, intuitionistic, and classical logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chuck Liang, Dale Miller A Unified Sequent Calculus for Focused Proofs. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chuck Liang, Dale Miller Focusing and Polarization in Intuitionistic Logic Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Chuck Liang, Dale Miller Focusing and Polarization in Intuitionistic Logic. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chuck Liang, Gopalan Nadathur, Xiaochu Qi Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lambda conversion, implementation, lambda calculus, explicit substitution
1Chuck Liang Compiler Construction in Higher Order Logic Programming. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Chuck Liang, Gopalan Nadathur Tradeoffs in the Intensional Representation of Lambda Terms. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Chuck Liang A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Chuck Liang Free Variables and Subexpressions in Higher-Order Meta Logic. Search on Bibsonomy TPHOLs The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chuck Liang Let-Polymorphism and Eager Type Schemes. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.