Automata, Languages and Programming

On the semantics of logic programs.- Logic programming with recurrence domains.- Extensional embedding of a strongly stable model of PCF.- Uniform ideals and strictness analysis.- Logical and computational aspects of programming with sets/bags/lists.- Safety for branching time semantics.- Program composition and modular verification.- Model-checking for probabilistic real-time systems.- Computing behavioural relations, logically.- The power of reconfiguration.- General resolution of tseitin formulas is hard.- Program checkers for probability generation.- Running time to recognize nonregular languages by 2-way probabilistic automata.- Statistics on random trees.- The expressive power of implicit specifications.- CCS + time = an interleaving model for real time systems.- On confluent semi-commutations - Decidability and complexity results.- Lazard's factorizations of free partially commutative monoids.- A Kleene theorem for infinite trace languages.- Canonical sets of horn clauses.- A specialized completion procedure for monadic string-rewriting systems presenting groups.- A confluent reduction for the ?-calculus with surjective pairing and terminal object.- Provably recursive programs and program extraction.- Efficient algorithms for path problems with general cost criteria.- Computing shortest paths and distances in planar graphs.- Maintaining biconnected components of dynamic planar graphs.- Efficient maximal cubic graph cuts.- Structural parallel algorithmics.- Improving known solutions is hard.- Collapsing degrees via strong computation.- Fast parallel generation of random permutations.- A parallel algorithm for two processors precedence constraint scheduling.- An efficient NC algorithm for finding Hamiltonian cycles in dense directed graphs.- On logics, tilings, and automata.- Satisfiability of systems of ordinal notations with the subterm property is decidable.- Complete axiomatizations of some quotient term algebras.- The meaning of negative premises in