Theoretical Computer Science, Volume 345
Volume 345, Number 1, 21 November 2005
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)
, David Wagner
: A class of polynomially solvable range constraints for interval analysis without widenings.
Volume 345, Numbers 2-3, 22 November 2005
Mathematical Foundations of Computer Science 2004 Preface
: The non-parametrizability of the word equation xyz=zvx: A short proof.
: The complexity of equivalence and isomorphism of systems of equations over finite groups.