mehr als bücher

Grid  List

  1. Rewriting Techniques and Applications
    Rewriting Techniques and Applications
    Hubert Comon
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 8th International Conference on Rewriting T...

    53,49 €*
  2. Constraints in Computational Logics: Theory and Applications
    Constraints in Computational Logics: Theory and Applications
    Hubert Comon
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Constraints provide a declarative way of representing infinite sets of data. They are well suited...

    53,49 €*
  3. Computer Aided Verification
    Computer Aided Verification
    Gerard Berry
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),h...

    106,99 €*
  4. Term Rewriting
    Term Rewriting
    Hubert Comon
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Inhaltsangabeto rewriting.- 33 Examples of termination.- The word problem for Thue rewriting syst...

    53,49 €*
  5. Rewriting, Computation and Proof
    Rewriting, Computation and Proof
    Hubert Comon-Lundh
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, t...

    53,49 €*
  1. 1