CONTENTS Introduction xi Chapter I. Preliminaries 1 Chapter II. Undecidability 13 Chapter III. A lattice embedding that preserves decid- ability and undecidability 55 Chapter IV. A finitely generated, infinite, simple rela- tion algebra with a decidable equational theory 67 Bibliography 112 Index of symbols 115 Index of names and subjects 119
Previous Page Next Page