- importsource = "00045411-2000-03.TXT"
- Artículo:
Algorithms A subdivision-based algorithm for the sparse resultant
- Autor:
John F. Canny
Ioannis Z. Emiris
- Página:
417
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
3
- Periodo:
Mayo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-03.TXT
- Documento número 1670734
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
Decisions, Uncertainty, and Computation An axiomatic treatment of three qualitative decision criteria
- Autor:
Ronen I. Brafman
Moshe Tennenholtz
- Página:
452
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
3
- Periodo:
Mayo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-03.TXT
- Documento número 1670735
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
Formal Languages and Complexity Theory The expressibility of languages and relations by word equations
- Autor:
Juhani Karhumäki
Filippo Mignosi
Wojciech Plandowski
- Página:
483
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
3
- Periodo:
Mayo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-03.TXT
- Documento número 1670736
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
Behavioral equivalence in the polymorphic pi-calculus
- Autor:
Benjamin C. Pierce
Davide Sangiorgi
- Página:
531
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
3
- Periodo:
Mayo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-03.TXT
- Documento número 1670737
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- 1-4
