Sciweavers

CUZA
2004
81views more  CUZA 2004»
13 years 11 months ago
The Quick Check Pre-unification Filter for Typed Grammars: Further Advances
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...
Liviu-Virgil Ciortuz