Laxton introduced a group structure on the set of equivalence classes of linear recurrence sequences of degree 2. This result yields much information on the divisibilities of such sequences. In this ...

ABSTRACT: To effectively evaluate a system that performs operations on UML class diagrams, it is essential to cover a large variety of different types of diagrams. The coverage of the diagram space ...