David A. SchmidtKansas

Partial Evaluation of Higher-order Natural-semantics Derivations

David A. SchmidtKansas, Husain Ibraheem, David A Schmidt, 1997 .

Limiting State Explosion with Filter-Based Re nement

David A. SchmidtKansas, 1997 .