arXiv 2001-06-11 EN Object-oriented tools for advanced applications Ismailova, Larissa · Zinchenko, Konstantin
arXiv 2001-06-10 EN An object evaluator to generate flexible applications Ismailova, Larissa · Zinchenko, Konstantin
arXiv 2001-06-10 EN Building the access pointers to a computation environment Wolfengagen, Viacheslav
arXiv 2001-05-11 EN Solving Composed First-Order Constraints from Discrete-Time Robust Control Ratschan, Stefan · Jaulin, Luc
arXiv 2001-05-10 EN A Logical Framework for Convergent Infinite Computations Li, Wei · Ma, Shilong · Sui, Yuefei · Xu, Ke
arXiv 2001-05-04 EN Analysis of Polymorphically Typed Logic Programs Using ACI-Unification Smaus, Jan-Georg
arXiv 2001-03-26 EN The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete Diekert, Volker · Gutierrez, Claudio · Hagenah, Christian
arXiv 2001-01-23 EN Properties of Input-Consuming Derivations Bossi, Annalisa · Etalle, Sandro · Rossi, Sabina
arXiv 2001-01-23 EN Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling Bossi, Annalisa · Etalle, Sandro · Rossi, Sabina · Smaus, Jan-Georg
arXiv 2001-01-19 EN Checking Properties within Fairness and Behavior Abstractions Ultes-Nitsche, Ulrich · Wolper, Pierre
arXiv 2001-01-17 EN On the problem of computing the well-founded semantics Lonc, Zbigniew · Truszczynski, Miroslaw
