Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
Set constraints with intersection
Information and Computation - Special issue: LICS'97
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |