- isn = "00045411"
- Artículo:
NP Trees Carap’s Modal Logic
- Autor:
G. Gottlob
- Página:
421
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670605
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
Three Logics for Branching Dissimulation
- Autor:
R. De Nicola
F. Vaandrager
- Página:
458
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670606
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
Las Vegas Algorithms for Linear and Integer Programming When the Dimension Is Small
- Autor:
K. L. Clarkson
- Página:
488
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670607
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
Nearly Optimal Algorithms and Bounds for Multilayer Channel Routing
- Autor:
B. Berger
M. Brady
D. Brown
T. Leighton
- Página:
500
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670608
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
On the Minimality and Global Consistency of Row-Convex Constraint Networks
- Autor:
P. van Beek
R. Dechter
- Página:
543
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
3
- Periodo:
Mayo 1995
- ISSN:
00045411
- SrcID:
00045411-1995-03.TXT
- Documento número 1670609
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
