LIBROS DEL AUTOR: zoltan esik

3 resultados para LIBROS DEL AUTOR: zoltan esik

zoltan esik Eliminar filtro Quitar filtros
  • Iteration Theories
    Stephen L. Bloom / Zoltan Esik
    This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au­ dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi­ nary fa...
    Disponible

    132,19 €

  • Computer Science Logic
    Zoltán Ésik
    This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathemati...
    Disponible

    132,23 €

  • Fundamentals of Computation Theory
    Zoltan Esik
    This volume contains the proceedings of the Ninth Conference on Fundamentalsof Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: - Semanticsand logical concepts in the theory of computing and formal specification - Automata and formal languages - Compu...
    Disponible

    65,36 €