Suchergebnisse - Meseguer, José

Axiomatizing the algebra of net computations and processes

von Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

Order-sorted algebra

Band 1 - Equational deduction for multiple inheritance, overloading, exceptions and partial operations

von Goguen, Joseph 1941-2006, Meseguer, José

Oreto I

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

El cerro de la Encantada: granátula de Calatrava (Ciudad Real)

von Nieto Gallo, Gratiniano 1917-1985, Sánchez Meseguer, José

El Cerro de la Encantada: Granátula de Calatrava (Ciudad Real)

von Nieto Gallo, Gratiniano 1917-1985, Sánchez Meseguer, José

Axiomatizing the algebra of net computations and processes

von Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

Conditional rewriting logic: deduction, models and concurrency

von Meseguer, José

Concurrent term rewriting as a model of computation

von Goguen, Joseph 1941-2006, Kirchner, Claude, Meseguer, José

Order sorted unification

von Meseguer, José, Goguen, Joseph 1941-2006, Smolka, Gert 1955-

Models and equality for logical programming

von Goguen, Joseph 1941-2006, Meseguer, José

Deduction with many sorted rewrite

von Meseguer, José, Goguen, Joseph 1941-2006

Parameterized programming

von Goguen, Joseph 1941-2006, Meseguer, José

Completeness of many-sorted equational logic

von Goguen, Joseph 1941-2006, Meseguer, José

Isabel Rico: sensaciones y emociones a través de una mirada fotográfica

von Martínez Meseguer, José Luis

Spacecraft thermal control

von Meseguer, José

Final algebras, cosemicomputable algebras, and degrees of unsolvability

von Moss, Lawrence S., Meseguer, José, Goguen, Joseph 1941-2006

Conditional rewriting logic as a unified model of concurrency

von Meseguer, José

Rewriting as a unified model of concurrency

von Meseguer, José

Inclusions and subtypes

von Martí-Oliet, Narciso, Meseguer, José

An algebraic axiomatization of linear logic models

von Martí-Oliet, Narciso, Meseguer, José