Solving functional constraints by variable substitution

10.1017/S1471068410000591

Saved in:
Bibliographic Details
Main Authors: Zhang, Y., Yap, R.H.C.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/41627
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Be the first to leave a comment!
You must be logged in first