• Shop by category
  • Powered by eBay
  • Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International

    • Item No : 177131927633
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : loveourprices2
    • Current Bid : US $61.19
    • * Item Description

    • The Theory of Universal Graphs for Games: Past and Future.- Approximate coalgebra homomorphisms and approximate solutions.- Duality for Instantial Neighbourhood Logic via Coalgebra.- Free-algebra functors from a coalgebraic perspective.- Learning Automata with Side-Effects.- De Finetti's Construction as a Categorical Limit.- Injective Objects and Fibered Codensity Liftings.- Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.- A categorical approach to secure compilation.- Semantics for rst-order a ne inductive datatypes via slice categories.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category