- importsource = "00045411-1995-04.txt"
- Artículo:
Translating Default Logic into Standard Auto epistemic Logic
- Autor:
G. Gottlob
- Página:
711
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
4
- Periodo:
Julio 1995
- ISSN:
00045411
- SrcID:
00045411-1995-04.txt
- Documento número 1670615
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Logical Foundations of Object-Oriented Frame-Based Languages
- Autor:
M. Kifer
G. Lausen
J. Wu
- Página:
741
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
4
- Periodo:
Julio 1995
- ISSN:
00045411
- SrcID:
00045411-1995-04.txt
- Documento número 1670616
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Color-Coding
- Autor:
N. Alon
R. Yuster
U. Zwick
- Página:
844
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
4
- Periodo:
Julio 1995
- ISSN:
00045411
- SrcID:
00045411-1995-04.txt
- Documento número 1670617
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
The Complexity of Probabilistic Verification
- Autor:
C. Courcoubetis
M. Yannakakis
- Página:
857
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
4
- Periodo:
Julio 1995
- ISSN:
00045411
- SrcID:
00045411-1995-04.txt
- Documento número 1670618
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
A Constant-Time Optimal Parallel String-Matching Algorithm
- Autor:
Z. Galil
- Página:
908
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
4
- Periodo:
Julio 1995
- ISSN:
00045411
- SrcID:
00045411-1995-04.txt
- Documento número 1670619
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- 1-5
