Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday

Detalles Bibliográficos
Autores principales: Martí-Oliet, Narciso, Ölveczky, Peter Csaba, Talcott, Carolyn
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761479
_version_ 1780970531535716352
author Martí-Oliet, Narciso
Ölveczky, Peter Csaba
Talcott, Carolyn
author_facet Martí-Oliet, Narciso
Ölveczky, Peter Csaba
Talcott, Carolyn
author_sort Martí-Oliet, Narciso
collection CERN
id cern-2761479
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27614792021-04-21T16:39:38Zhttp://cds.cern.ch/record/2761479engMartí-Oliet, NarcisoÖlveczky, Peter CsabaTalcott, CarolynLogic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthdayXXSpringer International Publishing AGoai:cds.cern.ch:27614792015
spellingShingle XX
Martí-Oliet, Narciso
Ölveczky, Peter Csaba
Talcott, Carolyn
Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
title Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
title_full Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
title_fullStr Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
title_full_unstemmed Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
title_short Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
title_sort logic, rewriting, and concurrency: essays dedicated to josé meseguer on the occasion of his 65th birthday
topic XX
url http://cds.cern.ch/record/2761479
work_keys_str_mv AT martiolietnarciso logicrewritingandconcurrencyessaysdedicatedtojosemeseguerontheoccasionofhis65thbirthday
AT olveczkypetercsaba logicrewritingandconcurrencyessaysdedicatedtojosemeseguerontheoccasionofhis65thbirthday
AT talcottcarolyn logicrewritingandconcurrencyessaysdedicatedtojosemeseguerontheoccasionofhis65thbirthday

Ejemplares similares