Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Y. Sagiv   Order by:   Type | Year

<< InProceedings >>

1 Tobias Müller. Promoting Constraints to First-Class Status. In J. Lloyd, V. Dahl, U. Furbach, Manfred Kerber, K.-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv and P.J. Stuckey editors, 1st International Conference on Computational Logic (CL '00), July 24-28, (1861):429-447, Springer, Imperial College, London, UK, 2000. [Abstract]     google [Annote]

Last modified: Thu October 16 2014 19:11:34