مؤتمر
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 |
ردمك: | 9781457700736 |
---|---|
DOI: | 10.1109/SCCC.2010.9 |