José Meseguer And NotÉtats-Unis
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003912 | José Meseguer | Order-Sorted Parameterization and Induction |
| 009A51 | Adel Bouhoula ; Jean-Pierre Jouannaud ; José Meseguer | Specification and Proof in Membership Equational Logic |
| 009D20 | José Meseguer | Preface |
| 00B258 | José Meseguer | Contents and abstracts of the electronic notes in theoretical computer science vol. 4 |
| 00B950 | Adel Bouhoula ; Jean-Pierre Jouannaud ; José Meseguer | Specification and Proof in Membership Equational Logic |
| 00E373 | Joseph Goguen ; Claude Kirchner ; Hélène Kirchner ; Aristide Mégrelis ; José Meseguer ; Timothy Winkler | An introduction to OBJ 3 |
| This area was generated with Dilib version V0.6.33. |  |