Showing 1 - 2 results of 2 for search '"complete game"', query time: 0.21s Refine Results
  1. 1
    Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013. Proceedings /
    Published 2013
    Table of Contents: “...Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics /...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  2. 2
    Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings /
    Published 2009
    Table of Contents: “... Lambek Calculus Is NP-Complete -- Games on Multi-stack Pushdown Systems -- Data Privacy for Knowledge...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search