arXiv 2001-12-17 EN Concurrent computing machines and physical space-time Matherat, Philippe · Jaekel, Marc-Thierry
arXiv 2001-12-03 EN Program schemes with binary write-once arrays and the complexity classes they capture Stewart, Iain A.
arXiv 2001-11-19 EN An Environment for the Exploration of Non Monotonic Logic Programs Castro, Luis F. · Warren, David S.
arXiv 2001-11-06 EN Abduction with Penalization in Logic Programming Ianni, Giovambattista · Leone, Nicola · Perri, Simona · Scarcello, Francesco
arXiv 2001-10-31 EN The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata Vlad, Serban E.
arXiv 2001-10-31 EN An Asynchronous Automata Approach to the Semantics of Temporal Logic Vlad, Serban E.
arXiv 2001-10-31 EN Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer Vlad, Serban E.
arXiv 2001-10-31 EN The Existence of ω-Chains for Transitive Mixed Linear Relations and Its Applications Dang, Zhe · Ibarra, Oscar
arXiv 2001-10-17 EN Inference of termination conditions for numerical loops in Prolog Serebrenik, Alexander · De Schreye, Danny
arXiv 2001-10-11 EN On Equivalence and Canonical Forms in the LF Type Theory Harper, Robert · Pfenning, Frank
arXiv 2001-10-02 EN Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification Dang, Zhe
arXiv 2001-10-01 EN The temporal calculus of conditional objects and conditional events Tyszkiewicz, Jerzy · Ramer, Arthur · Hoffmann, Achim
arXiv 2001-10-01 EN Embedding conditional event algebras into temporal calculus of conditionals Tyszkiewicz, Jerzy · Hoffmann, Achim · Ramer, Arthur
