• Shop by category
  • Powered by eBay
  • Logical Foundations of Computer Science: Third International Symposium, LFCS '94

    • Item No : 136134332218
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.78
    • * Item Description

    • Lower bounds for probabilistic space complexity: Communication-automata approach. - On model checking infinite-state systems. - Referential data structures and labeled modal logic. - Yet another correctness criterion for Multiplicative Linear Logic with MIX.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category