Semantics of Programming Languages and Model Theory 1
bokomslag Semantics of Programming Languages and Model Theory
Data & IT

Semantics of Programming Languages and Model Theory

Manfred Droste • Yuri Gurevich

Inbunden

2769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 416 sidor
  • 1993
The articles in this book deal with both the specialized aspects of the relationship between mathematical logic and the theory of programming languages, and with pure methods in each of the fields of model theory, ordered structures and semantics.
  • Författare: Manfred Droste, Yuri Gurevich
  • Format: Inbunden
  • ISBN: 9782881249358
  • Språk: Engelska
  • Antal sidor: 416
  • Utgivningsdatum: 1993-09-01
  • Förlag: Gordon & Breach Science Publishers Ltd

Du kanske gillar

  1. bokomslag Exercises in Algebra

    Exercises in Algebra

    Alexandrai Kostrikin

    Pocket

    2609:-
  2. bokomslag Models for Concurrency

    Models for Concurrency

    Uri Abraham

    Inbunden

    2609:-
  3. bokomslag Computer Science Logic

    Computer Science Logic

    Egon Brger, Yuri Gurevich, Karl Meinke

    Pocket

    1009:-
  4. bokomslag Distributive Modules and Related Topics

    Distributive Modules and Related Topics

    Askar Tuganbaev

    Inbunden

    2529:-
  5. bokomslag Ordered Algebraic Structures

    Ordered Algebraic Structures

    W Charles Holland

    Inbunden

    2679:-
  6. bokomslag Almost Completely Decomposable Groups

    Almost Completely Decomposable Groups

    A Mader

    Inbunden

    3339:-
  7. bokomslag Linear Algebra and Geometry

    Linear Algebra and Geometry

    P K Suetin, Alexandra I Kostrikin, Yu I Manin

    Inbunden

    3109:-
  8. bokomslag Advances in Algebra and Model Theory

    Advances in Algebra and Model Theory

    R Gobel M Droste

    Inbunden

    3819:-
  9. bokomslag Hyperidentities and Clones

    Hyperidentities and Clones

    S L Wismath Klaus Denecke

    Inbunden

    2009:-
  10. bokomslag Classifications of Abelian Groups and Pontrjagin Duality

    Classifications of Abelian Groups and...

    Peter Loth

    Inbunden

    1209:-

Andra av samma författare

  1. bokomslag Groups and Model Theory

    Groups and Model Theory

    Lutz Strungmann, Manfred Droste, Lazlo Fuchs, Katrin Tent

    Pocket

    2669:-
  2. bokomslag Algebraic Informatics

    Algebraic Informatics

    Miroslav Iri, Manfred Droste, Jean-Ric Pin

    Pocket

    1009:-
  3. bokomslag Fields of Logic and Computation III

    Fields of Logic and Computation III

    Andreas Blass, Patrick Cgielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

    Pocket

    1009:-
  4. bokomslag Groups, Modules, and Model Theory - Surveys and Recent Developments

    Groups, Modules, and Model Theory - S...

    Manfred Droste, Lszl Fuchs, Brendan Goldsmith, Lutz Strngmann

    Inbunden

    1999:-
  5. bokomslag Groups, Modules, and Model Theory - Surveys and Recent Developments

    Groups, Modules, and Model Theory - S...

    Manfred Droste, Lszl Fuchs, Brendan Goldsmith, Lutz Strngmann

    Pocket

    1999:-
  6. bokomslag The Classical Decision Problem

    The Classical Decision Problem

    Egon Brger, Erich Grdel, Yuri Gurevich

    Pocket

    3309:-
  7. bokomslag Computer Science Logic

    Computer Science Logic

    Egon Brger, Yuri Gurevich, Karl Meinke

    Pocket

    1009:-
  8. bokomslag Abstract State Machines - Theory and Applications

    Abstract State Machines - Theory and ...

    Yuri Gurevich, Philipp W Kutter, Martin Odersky, Lothar Thiele

    Pocket

    1039:-
  9. bokomslag Tests and Proofs

    Tests and Proofs

    Yuri Gurevich Bertrand Meyer

    Pocket

    1009:-
  10. bokomslag Handbook of Weighted Automata

    Handbook of Weighted Automata

    Manfred Droste, Werner Kuich, Heiko Vogler

    Inbunden

    4409:-