Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday

DOI10.1007/978-3-030-91631-2MaRDI QIDQ2118983zbMATH OpenOpenAlexFDO

Authors

Publication date 23 March 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-91631-2

Mathematics Subject Classification ID

Cryptography (94A60) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer security (68M25)

Recommendations

• Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday
• Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday
• Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday
• Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
• Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
• Structures in logic and computer science. A selection of essays in honor of Andrzej Ehrenfeucht (65th birthday on August 8, 1997)
• Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday.
• Programming logics. Essays in memory of Harald Ganzinger
• Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday
• Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday

Cited in

(1)

• Joshua Guttman: pioneering strand spaces

This page was built for publication: Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118983)