- importsource = "00045411-2002-04.txt"
- Artículo:
Qualitative decision theory: from savage's axioms to nonmonotonic reasoning
- Autor:
Didier Dubois
Hélène Fargier
Henri Prade
Patrice Perny
- Página:
455
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
49
- Número:
4
- Periodo:
Julio 2002
- ISSN:
00045411
- SrcID:
00045411-2002-04.txt
- Documento número 1670800
- Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Enlace directo
- Artículo:
Dense quantum coding and quantum finite automata
- Autor:
Andris Ambainis
Ashwin Nayak
Amnon Ta-Shma
Umesh Vazirani
- Página:
496
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
49
- Número:
4
- Periodo:
Julio 2002
- ISSN:
00045411
- SrcID:
00045411-2002-04.txt
- Documento número 1670801
- Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Enlace directo
- Artículo:
On the complexity analysis of static analyses
- Autor:
David McAllester
- Página:
512
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
49
- Número:
4
- Periodo:
Julio 2002
- ISSN:
00045411
- SrcID:
00045411-2002-04.txt
- Documento número 1670802
- Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Enlace directo
- Artículo:
Formal verification of standards for distance vector routing protocols
- Autor:
Karthikeyan Bhargavan
Davor Obradovic
Carl A. Gunter
- Página:
538
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
49
- Número:
4
- Periodo:
Julio 2002
- ISSN:
00045411
- SrcID:
00045411-2002-04.txt
- Documento número 1670803
- Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
- Enlace directo
- 1-4