José Meseguer (Q85771953)
Jump to navigation
Jump to search
Spanish computer scientist
- Jose Meseguer
- J. Meseguer
- J. Meseguer Guaita
- José Meseguer Guaita
Language | Label | Description | Also known as |
---|---|---|---|
English | José Meseguer |
Spanish computer scientist |
|
Statements
José Meseguer Guaita (Spanish)
0 references
1950
1 reference
José Meseguer: Scientist and Friend Extraordinaire (English)
20 March 2024
1 reference
José Meseguer: Scientist and Friend Extraordinaire (English)
20 March 2024
2 references
Conditional rewriting logic as a unified model of concurrency (English)
21 March 2024
José Meseguer
The Temporal Logic of Rewriting (English)
21 March 2024
José Meseguer
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Jose Meseguer