Jump to main content

yr 〜
yr

Search results 18

Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday : festschrift 2011 symposium : Nov 2011, Menlo Park, CA. (Lecture Notes in Computer Science ; 7000. Festschrift)

Formal modeling: actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday : festschrift 2011 symposium : Nov 2011, Menlo Park, CA. (Lecture Notes in Computer Science ; 7000. Festschrift)
Paper図書
Springerc2011.<M17-12-2881>
National Diet Library
  • Author HeadingAgha, Gul A. Danvy, Olivier. Meseguer, José.

Spacecraft thermal control (Woodhead Publishing in mechanical engineering)

Spacecraft thermal control (Woodhead Publishing in mechanical engineering)
Paper図書
José Meseguer, Isabel Pérez-Grande and Angel Sanz-Andrés.Woodhead Publishing2012.<NC161-B51>
National Diet Library

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)
Paper図書
Springerc2008.<M17-09-1163>
National Diet Library
  • Author HeadingMontanari, Ugo. Degano, Pierpaolo, 1950- De Nicola, Rocco. Meseguer, José.

Algebraic methodology and software technology : 12th international conference, AMAST 2008 : Urbana, IL, USA, July 28-31, 2008 : proceedings. : Jul 2008, Urbana, IL. (Lecture Notes in Computer Science ; 5140)

Algebraic methodology and software technology : 12th international conference, AMAST 2008 : Urbana, IL, USA, July 28-31, 2008 : proceedings. : Jul 2008, Urbana, IL. (Lecture Notes in Computer Science ; 5140)
Paper図書
Springerc2008.<M17-08-1885>
National Diet Library
  • Author Heading...puter Science. Meseguer, José. Roısu, Grigore. International...

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi

Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi
Paper図書
Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)Springerc2014
Other Libraries in Japan

Spacecraft thermal control : print

Spacecraft thermal control : print
Paper図書
José Meseguer, Isabel Pérez-Grande and Angel Sanz-AndrésWoodhead Publishing2012
Other Libraries in Japan

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings
Paper図書
José Meseguer, Grigore Roşu (eds.)Springerc2008
Other Libraries in Japan

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic
Paper図書
Manuel Clavel ... [et al.]Springerc2007
Other Libraries in Japan

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Paper図書
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)Springerc2006
Other Libraries in Japan

Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations

Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
Paper図書
by Joseph A. Goguen, José MeseguerOxford University Computing Laboratory, Programming Research Group1989
Other Libraries in Japan

Relating models of polymorphism

Relating models of polymorphism
Paper図書
José MeseguerCenter for the Study of Language and Information (CSLI)c1988
Other Libraries in Japan

Final algebras, cosemicomputable algebras, and degrees of unsolvability

Final algebras, cosemicomputable algebras, and degrees of unsolvability
Paper図書
Lawrence S. Moss, José Meseguer, and Joseph A. GoguenCenter for the Study of Language and Information1987
Other Libraries in Japan

On the axiomatization of "if-then-else"

On the axiomatization of "if-then-else"
Paper図書
by Irène Guessarian and José MeseguerCenter for the Study of Language and Informationc1985
Other Libraries in Japan

Modals and equality for logical programming

Modals and equality for logical programming
Paper図書
Joseph A. Goguen and José MeseguerCenter for the Study of Language and Information1987
Other Libraries in Japan

Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems

Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
Paper図書
Joseph A. Goguen and José MeseguerCenter for the Study of Language and Information1987
Other Libraries in Japan

Deduction with many-sorted rewrite

Deduction with many-sorted rewrite
Paper図書
by José Meseguer and Joseph A. GoguenCenter for the Study of Language and Information1985
Other Libraries in Japan

Equality, types, modules and generics for logic programing

Equality, types, modules and generics for logic programing
Paper図書
by Joseph A. Goguen and José MeseguerCenter for the Study of Language and Information1984
Other Libraries in Japan

Completeness of many-sorted equational logic

Completeness of many-sorted equational logic
Paper図書
by J.A. Goguen and J. MeseguerCenter for the Study of Language and Information1984
Other Libraries in Japan

Reached to the end of result.

RSS