chapter  33
4 Pages

LPC2: Decision Procedure II–Exposition

WithG. E. Hughes, D. G. Londey

We shall now show how the Decision Procedure for LPC1 given in Chapter 27 can be extended to LPC2.