Meseguer, José
Meseguer, José 1950-
VIAF ID: 282079770 ( Personal )
Permalink: http://viaf.org/viaf/282079770
Preferred Forms
- 100 1 0 ‡a Meseguer, José
-
-
-
- 100 1 _ ‡a Meseguer, José
- 100 1 _ ‡a Meseguer, José ‡d 1950-
- 100 1 _ ‡a Meseguer, José
-
- 100 1 _ ‡a Meseguer, José
-
4xx's: Alternate Name Forms (1)
5xx's: Related Names (3)
- 510 2 _ ‡a Computer Science Laboratory ‡g Menlo Park, Calif. ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Murcia ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a University of Illinois at Urbana-Champaign ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday | |
Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings | |
AMAST 2008 | |
Completeness of many-sorted equational logic | |
Deduction with many-sorted rewrite | |
Formal Modeling : Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday | |
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows | |
Obj-1, a study in executable algebraic formal specification [microvorm] | |
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, c1987: | |
Relating models of polymorphism | |
Spacecraft thermal control | |
Specification, algebra, and software essays dedicated to Kokichi Futatsugi |