Logic, Language, and Security / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Thau Loo, Boon ; Okada, Mitsuhiro  

Público ISBD Ningún comentario para este registro. Título : Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday Tipo de documento: documento electrónico Autores: Nigam, Vivek, ; Ban Kirigin, Tajana, ; Talcott, Carolyn, ; Guttman, Joshua, ; Kuznetsov, Stepan, ; Thau Loo, Boon, ; Okada, Mitsuhiro, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 203 p. 292 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-62077-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Teoría de las máquinas  Inteligencia artificial  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Ingeniería de software  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Ingeniería Informática y Redes Índice Dewey: 5.131 Resumen: Este Festschrift es en honor al Prof. Andre Scedrov de la Universidad de Pensilvania. Scedrov ha sentado las bases para una serie de dominios ahora bien establecidos en matemáticas e informática, incluida la teoría de la prueba, la lógica en informática, los fundamentos de la seguridad informática y la lingüística. Esta combinación de amplitud y penetrante originalidad es rara e impresionante. Este Festschrift sólo intenta reflejar esta combinación con una serie de contribuciones distribuidas entre estos diferentes temas. Contiene 11 artículos técnicos y 3 artículos breves organizados en secciones sobre Lógica, Lógica y Computación, Lógica y Seguridad, y Lógica y Lenguaje. Esos artículos están escritos por investigadores de todo el mundo, incluidos América del Norte, Rusia, Europa y Japón, que se han visto afectados directa o indirectamente por Andre Scedrov. El capítulo "Una pequeña observación sobre la visión finitista de la divisibilidad de Hilbert y el análisis lógico de sistemas en tiempo real de Kanovich-Okada-Scedrov" está disponible en acceso abierto bajo una licencia CC BY 4.0 en link.springer.com. Nota de contenido: Logic -- A ∏01-Bounded Fragment of In nitary Action Logic with Exponential -- Transcendental syntax IV : logic without systems -- Logic and Computing -- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems -- Logic of fusion -- There's No Time, The Problem of Conceptualising Time -- Andre and the early days of Penn's Logic and Computation Group -- Formal Verification of Ethereum smart contracts using Isabelle/HOL -- Logic and Application - LAP meeting -- Logic and Security -- Formal Methods Analysis of the Secure Remote Password Protocol -- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols -- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA -- Modelchecking safety properties in randomized security protocols -- Logic and Language -- Andre Scedrov -- Gender Bias in Neural Natural Language Processing. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday [documento electrónico] / Nigam, Vivek, ; Ban Kirigin, Tajana, ; Talcott, Carolyn, ; Guttman, Joshua, ; Kuznetsov, Stepan, ; Thau Loo, Boon, ; Okada, Mitsuhiro,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - X, 203 p. 292 ilustraciones, 16 ilustraciones en color. ISBN : 978-3-030-62077-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Teoría de las máquinas  Inteligencia artificial  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Ingeniería de software  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Ingeniería Informática y Redes Índice Dewey: 5.131 Resumen: Este Festschrift es en honor al Prof. Andre Scedrov de la Universidad de Pensilvania. Scedrov ha sentado las bases para una serie de dominios ahora bien establecidos en matemáticas e informática, incluida la teoría de la prueba, la lógica en informática, los fundamentos de la seguridad informática y la lingüística. Esta combinación de amplitud y penetrante originalidad es rara e impresionante. Este Festschrift sólo intenta reflejar esta combinación con una serie de contribuciones distribuidas entre estos diferentes temas. Contiene 11 artículos técnicos y 3 artículos breves organizados en secciones sobre Lógica, Lógica y Computación, Lógica y Seguridad, y Lógica y Lenguaje. Esos artículos están escritos por investigadores de todo el mundo, incluidos América del Norte, Rusia, Europa y Japón, que se han visto afectados directa o indirectamente por Andre Scedrov. El capítulo "Una pequeña observación sobre la visión finitista de la divisibilidad de Hilbert y el análisis lógico de sistemas en tiempo real de Kanovich-Okada-Scedrov" está disponible en acceso abierto bajo una licencia CC BY 4.0 en link.springer.com. Nota de contenido: Logic -- A ∏01-Bounded Fragment of In nitary Action Logic with Exponential -- Transcendental syntax IV : logic without systems -- Logic and Computing -- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems -- Logic of fusion -- There's No Time, The Problem of Conceptualising Time -- Andre and the early days of Penn's Logic and Computation Group -- Formal Verification of Ethereum smart contracts using Isabelle/HOL -- Logic and Application - LAP meeting -- Logic and Security -- Formal Methods Analysis of the Secure Remote Password Protocol -- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols -- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA -- Modelchecking safety properties in randomized security protocols -- Logic and Language -- Andre Scedrov -- Gender Bias in Neural Natural Language Processing. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Por página: 25 50 100 200