مؤتمر
A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types.
| العنوان: | A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types. |
|---|---|
| المؤلفون: | Grosso, A.L., Turull-Torres, J.M. |
| المصدر: | 2010 XXIX International Conference of the Chilean Computer Science Society (SCCC); 2010, p270-279, 10p |
| قاعدة البيانات: | Complementary Index |
Full Text Finder | ردمك: | 9781457700736 |
|---|---|
| DOI: | 10.1109/SCCC.2010.9 |