Arnold Beckmann

Este artículo desarrolla un marco de reescritura de términos para las funciones computables en tiempo polinómico, proveyendo caracterizaciones importantes en el ámbito de la complejidad computacional. [semanticscholar.org](https://www.semanticscholar.org/paper/A-term-rewriting-characterization-of-the-polytime-Beckmann-Weiermann/4de55de23fc733311b2ba664914739f9643c647d)

Se determinan los límites exactos para la longitud de las secuencias de reducción en el cálculo lambda tipado, una contribución fundamental a la lógica y la teoría de tipos. [semanticscholar.org](https://www.semanticscholar.org/paper/Exact-bounds-for-lengths-of-reductions-in-typed-Beckmann/d1778b5027f9ab51e4cb2820b06104cdfdd22de4)

Esta obra explora la búsqueda local polinómica dentro de la jerarquía polinómica, con implicaciones para la aritmética acotada y la demostración de teoremas. [csauthors.net](https://www.csauthors.net/arnold-beckmann/)

Este trabajo conecta los juegos de paridad con los sistemas de prueba proposicional, explorando la automatización de pruebas y la separación de fórmulas. [eccc.weizmann.ac.il](https://eccc.weizmann.ac.il/report/2013/092)

Esta investigación analiza las funciones recursivas seguras sobre conjuntos, estableciendo conexiones con las funciones de crecimiento polinómico y las máquinas de Turing. [semanticscholar.org](https://www.semanticscholar.org/paper/SAFE-RECURSIVE-SET-FUNCTIONS-Beckmann-Buss/139762e64a3c895deba2f36ff6390e44d64ad068)

Presenta el sistema de Deducción Natural Híper para la Lógica de Gödel, permitiendo un razonamiento paralelo eficiente en sistemas lógicos. [csauthors.net](https://www.csauthors.net/arnold-beckmann/)

Explora cómo los sistemas de confianza ciberfísicos pueden ser impulsados por tecnología blockchain, abordando aspectos de seguridad y fiabilidad en entornos complejos. [swansea.ac.uk](https://www.swansea.ac.uk/staff/a.beckmann/)

Describe KSPMI, un sistema basado en conocimiento para el mantenimiento predictivo en la Industria 4.0, facilitando la gestión y optimización de procesos industriales. [semanticscholar.org](https://www.semanticscholar.org/paper/KSPMI:-A-Knowledge-based-System-for-Predictive-in-Cao-Zanni-Merk/d398528414e06aca8f6c7aa0bb9d36f404b259e0)