|
Journals in DBLP
J. ACM 2000, volume: 47, number: 3
- John F. Canny, Ioannis Z. Emiris
A subdivision-based algorithm for the sparse resultant. [Citation Graph (0, 0)][DBLP] J. ACM, 2000, v:47, n:3, pp:417-451 [Journal]
- Ronen I. Brafman, Moshe Tennenholtz
An axiomatic treatment of three qualitative decision criteria. [Citation Graph (0, 0)][DBLP] J. ACM, 2000, v:47, n:3, pp:452-482 [Journal]
- Juhani Karhumäki, Filippo Mignosi, Wojciech Plandowski
The expressibility of languages and relations by word equations. [Citation Graph (0, 0)][DBLP] J. ACM, 2000, v:47, n:3, pp:483-505 [Journal]
- Amos Beimel, Francesco Bergadano, Nader H. Bshouty, Eyal Kushilevitz, Stefano Varricchio
Learning functions represented as multiplicity automata. [Citation Graph (0, 0)][DBLP] J. ACM, 2000, v:47, n:3, pp:506-530 [Journal]
- Benjamin C. Pierce, Davide Sangiorgi
Behavioral equivalence in the polymorphic pi-calculus. [Citation Graph (0, 0)][DBLP] J. ACM, 2000, v:47, n:3, pp:531-584 [Journal]
|