Raúl Rojas

1. The Z1: Architecture and Algorithms of Konrad Zuse's First Computer
   2014/06/07 by Raúl Rojas, Raul Rojas, Rojas, Raul · 2 voices · 3 citations
   Computer Science · #History of Computing Technologies #cs.AR
2. A Tutorial Introduction to the Lambda Calculus
   2015/03/28 by Raul Rojas, Raúl Rojas, Rojas, Raul · 5 voices
   Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
3. The straight line, the catenary, the brachistochrone, the circle, and\n Fermat
   2014/01/12 by Raúl Rojas, Raul Rojas, Rojas, Raul · 1 voice
   Engineering · Mathematics · #Advanced Theoretical and Applied Studies in Material Sciences and Geometry #Mathematics and Applications #math.HO
4. On the existence of thermodynamically stable asymptotically flat black holes
   2024/04/23 by Dumitru Astefanesei, Astefanesei, Dumitru, Romina Ballesteros +7 · 1 citation
   Mathematics · Physics and Astronomy · #Black Holes and Theoretical Physics #Cosmology and Gravitation Theories #FOS: Physical sciences #Geometric Analysis and Curvature Flows #High Energy Physics - Theory (hep-th)