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-06-10 EN File mapping Rule-based DBMS and Natural Language Processing Novikov, Vjacheslav M.
arXiv 2001-06-07 EN Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems van Emden, M. H.
arXiv 2001-05-10 EN A Logical Framework for Convergent Infinite Computations Li, Wei · Ma, Shilong · Sui, Yuefei · Xu, Ke
arXiv 2001-05-07 EN Component Programming and Interoperability in Constraint Solver Design Goualard, Frederic
arXiv 2001-02-27 EN Soundness, Idempotence and Commutativity of Set-Sharing Hill, Patricia M. · Bagnara, Roberto · Zaffanella, Enea
arXiv 2001-02-23 EN An Effective Fixpoint Semantics for Linear Logic Programs Bozzano, Marco · Delzanno, Giorgio · Martelli, Maurizio
arXiv 2001-01-23 EN Decomposing Non-Redundant Sharing by Complementation Zaffanella, Enea · Hill, Patricia M. · Bagnara, Roberto
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-12 EN Generation of and Debugging with Logical Pre and Postconditions Navarro, Angel Herrranz-Nieva Juan Jose Moreno
arXiv 2001-01-12 EN Assertion checker for the C programming language based on computations over event traces Auguston, Mikhail
