nextupprevious
Next:Restriction Imposed by Up:Operational Semantics of Rewriting Previous:The E-strategy

The On-demand E-strategy




Kazuhiro Ogata

Mon Nov 29 13:47:22 JST 1999