Search Results - Meseguer, José

Filter by
  1. 1
    Cover Image

    Axiomatizing the algebra of net computations and processes
    by Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

    Published 1991
    Book


    Saved in:
  2. 2
    Cover Image

    Order-sorted algebra
    Band 1 - Equational deduction for multiple inheritance, overloading, exceptions and partial operations
    by Goguen, Joseph 1941-2006, Meseguer, José

    Published 1989
    Book


    Saved in:
  3. 3
    Cover Image

    Oreto I
    by Nieto Gallo, Gratiniano 1917-1985, Sánchez Meseguer, José, Poyato Holgado, María del Carmen

    Published 1981
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    El cerro de la Encantada: granátula de Calatrava (Ciudad Real)
    by Nieto Gallo, Gratiniano 1917-1985, Sánchez Meseguer, José

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    El Cerro de la Encantada: Granátula de Calatrava (Ciudad Real)
    by Nieto Gallo, Gratiniano 1917-1985, Sánchez Meseguer, José

    Published 1980
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Axiomatizing the algebra of net computations and processes
    by Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    Conditional rewriting logic: deduction, models and concurrency
    by Meseguer, José

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Concurrent term rewriting as a model of computation
    by Goguen, Joseph 1941-2006, Kirchner, Claude, Meseguer, José

    Published 1987
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Order sorted unification
    by Meseguer, José, Goguen, Joseph 1941-2006, Smolka, Gert 1955-

    Published 1987
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Models and equality for logical programming
    by Goguen, Joseph 1941-2006, Meseguer, José

    Published 1987
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Deduction with many sorted rewrite
    by Meseguer, José, Goguen, Joseph 1941-2006

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Parameterized programming
    by Goguen, Joseph 1941-2006, Meseguer, José

    Published 1984
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Completeness of many-sorted equational logic
    by Goguen, Joseph 1941-2006, Meseguer, José

    Published 1984
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Isabel Rico: sensaciones y emociones a través de una mirada fotográfica
    by Martínez Meseguer, José Luis

    Published 2023
    Order via interlibrary loan
    Paper


    Saved in:
  15. 15
    Cover Image

    Spacecraft thermal control
    by Meseguer, José

    Published 2012
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  16. 16
    Cover Image

    Final algebras, cosemicomputable algebras, and degrees of unsolvability
    by Moss, Lawrence S., Meseguer, José, Goguen, Joseph 1941-2006

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Conditional rewriting logic as a unified model of concurrency
    by Meseguer, José

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Rewriting as a unified model of concurrency
    by Meseguer, José

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Inclusions and subtypes
    by Martí-Oliet, Narciso, Meseguer, José

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    An algebraic axiomatization of linear logic models
    by Martí-Oliet, Narciso, Meseguer, José

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: