Logic, language, and security : essays dedicated to Andre Scedrov on the occasion of his 65th birthday

Logic, language, and security essays dedicated to Andre Scedrov on the occasion of his 65th birthday

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Nigam, Vivek (HerausgeberIn), Ban Kirigin, Tajana (HerausgeberIn), Talcott, Carolyn L. (HerausgeberIn), Guttman, Joshua (HerausgeberIn), Kuznetsov, Stepan (HerausgeberIn), Loo, Boon Thau (HerausgeberIn), Okada, Mitsuhiro (HerausgeberIn), Ščedrov, Andrej (GefeierteR)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 12300
Schlagworte:
Festschrift > Lineare Logik > Beweistheorie > Informationssicherheit > Kryptologie
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:x, 202 Seiten
Illustrationen, Diagramme
ISBN:9783030620769
978-3-030-62076-9