Listing 1 - 10 of 12 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Choose an application
Ordered algebraic structures --- Categories (Mathematics) --- Congresses. --- 51 --- -Mathematics --- Congresses --- -51 Mathematics --- Mathematics --- 51 Mathematics --- 51 Wiskunde. Mathematiek --- Wiskunde. Mathematiek --- Categories (Mathematics) - Congresses.
Choose an application
Category theory. Homological algebra --- Algebra, Homological --- Categories (Mathematics) --- Congresses --- 512 --- Algebra --- Congresses. --- 512 Algebra --- Catégories (Mathématiques) --- Congrès --- Homological algebra --- Algebra, Abstract --- Homology theory --- Algebra, Homological - Congresses --- Categories (Mathematics) - Congresses --- Categories (mathematiques) --- Colloque
Choose an application
Categories (Mathematics) --- 512.58 --- -Categories. Category theory --- Congresses --- -512.58 Categories. Category theory --- Categories. Category theory --- Catégories (Mathématiques) --- Congrès --- 512.58 Categories. Category theory --- Catégories (mathématiques) --- Categories (Mathematics) - Congresses
Choose an application
Computer science --- Categories (Mathematics) --- Mathematics --- Congresses. --- 512.58 --- -Categories (Mathematics) --- -#KVIV:BB --- 512.58 Categories. Category theory --- Categories. Category theory --- Informatics --- Science --- -Congresses --- Congresses --- #KVIV:BB --- Mathematics&delete& --- Computer science - Mathematics - Congresses --- Categories (Mathematics) - Congresses.
Choose an application
Logic --- Algebraic geometry --- Categories (Mathematics) --- Geometry, Algebraic --- Logic, Symbolic and mathematical --- 510.6 --- #WWIS:ALTO --- Mathematical logic --- Toposes. --- Congresses. --- 510.6 Mathematical logic --- Toposes --- Catégories (Mathématiques) --- Géométrie algébrique --- Logique symbolique et mathématique --- Congresses --- Congrès --- Catégories (mathématiques) --- Logique mathématique --- Intuitionnisme --- Categories (Mathematics) - Congresses --- Geometry, Algebraic - Congresses --- Logic, Symbolic and mathematical - Congresses --- Geometrie algebrique
Choose an application
Mathematical analysis --- Topology --- Ordered algebraic structures --- Categories (Mathematics) --- Functional analysis --- Congresses --- -Functional analysis --- -Topology --- -Analysis situs --- Position analysis --- Rubber-sheet geometry --- Geometry --- Polyhedra --- Set theory --- Algebras, Linear --- Functional calculus --- Calculus of variations --- Functional equations --- Integral equations --- Congresses. --- -Congresses --- Topologie --- Catégories (mathématiques) --- Catégories (mathématiques) --- Analyse fonctionnelle --- Functional analysis. --- Topology. --- Categories (Mathematics) - Congresses --- Topology - Congresses --- Functional analysis - Congresses
Choose an application
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
Computer science --- Categories (Mathematics) --- Mathematics --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Informatics --- Computer science. --- Architecture, Computer. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- K-theory. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- K-Theory. --- Mathematical Logic and Foundations. --- Computer network architectures. --- Logic design. --- Logic, Symbolic and mathematical. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Algebraic topology --- Homology theory --- Science --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Architecture, Computer --- Computer science - Mathematics - Congresses --- Categories (Mathematics) - Congresses.
Listing 1 - 10 of 12 | << page >> |
Sort by
|