Filters








141 Hits in 1.1 sec

Safe stratified Datalog with integer order does not have syntax

Alexei P. Stolboushkin, Michael A. Taitslin
1998 ACM Transactions on Database Systems  
1), CELL( , p), STATE ( , 3), p = 0, j = 7 STATE (i, j) ←− S( , i), TAPE ( , p, 1), CELL( , p), STATE ( , 3), p = 0, j = 2 Let us now define unary predicates LAST and MAX as follows: Clearly, LAST defines  ...  assigned to P by the state.  ... 
doi:10.1145/288086.288089 fatcat:auoqlhgptbdqldqchbjklnjnxa

Author Index for Volume 153

1999 Information and Computation  
M Maass, Wolfgang, 26 Merritt, Michael, 117 R RaffaetaÁ , Alessandra, 173 S SaccaÁ , Domenico, 81 Schmitt, Michael, 26 Stolboushkin, Alexei P., 99 T Taitslin, Michael A., 99 Taubenfeld  ... 
doi:10.1016/s0890-5401(99)92839-0 fatcat:f37o5sh3rzav5e3bu7l3nfxacq

Page 8167 of Mathematical Reviews Vol. , Issue 99m [page]

1999 Mathematical Reviews  
Belegradek, Alexei P. Stolboushkin [A. P. Stolboushkin] and Michael A. Taitslin [Mikhail A.  ...  Stolboushkin [A. P. Stolboushkin], Towards recursive model theory (325-338); Stanley Scott Wainer, Accessi- ble segments of the fast growing hierarchy (339-348).  ... 

Page 6547 of Mathematical Reviews Vol. , Issue 2000i [page]

2000 Mathematical Reviews  
(RS-KEME; Kemerovo); Stolboushkin, Alexei P. [Stolboushkin, A. P.]; Taitslin, Michael A. [Taitslin, Mikhail A.] (RS-TVER-I; Tver’) On problems of databases over a fixed infinite universe.  ...  (RS-KEME; Kemerovo); Stolboushkin, Alexei P. [Stolboushkin, A. P.] (1-UCLA; Los Angeles, CA); Taitslin, Michael A. [Taitslin, Mikhail A.] (RS-TVER-I; Tver’) Extended order-generic queries.  ... 

Page 3532 of Mathematical Reviews Vol. , Issue 91F [page]

1991 Mathematical Reviews  
P 68149 Stolboushkin, Alexey P See Stolboushkin, AP $8033 . $1020 35083 70022 . 08003 20027 32012 ... 35203 .. 83067 . 81104 $1107 .  ...  Stojanovi¢, Mirjana 41014 Stojanovic, Srdjan . 49003 Stojmenovic, Ivan 68077 Stokes, Mitchell 13020 Stolarczyk, Maria 93104 Stolboushkin, A.  ... 

Page 5861 of Mathematical Reviews Vol. , Issue 98I [page]

1998 Mathematical Reviews  
Belegradek, Alexei P. Stolboushkin [A. P. Stolboushkin] and Michael A. Taitslin [Mikhail A. Taitslin], Generic queries over quasi-o-minimal domains (21-32); Michael A. Bukatin and Joshua S.  ...  Kopylov [Alexey P. Kopylov}, The undecidability of second order linear affine logic (156-166); Vladimir N.  ... 

Page 2780 of Mathematical Reviews Vol. , Issue 88f [page]

1988 Mathematical Reviews  
Alexey P. Stolboushkin (Pereslavl Zalessky) 88f:03033 03D15 03D20 68Q15 Wagner, Klaus W. (D-AGSB) Some observations on the connection between counting and recursion. Theoret. Comput.  ...  1-TM with probability p.  ... 

Page 4066 of Mathematical Reviews Vol. , Issue 98F [page]

1998 Mathematical Reviews  
Stoffer, Daniel Stokes, George Gabriel ........... ; ree Stolboushkin, A. P. ........... ne Stolboushkin, Alexei P. ............... See Stolboushkin, A. P. Stolin, A.  ...  P. de Smedt, Stany Smid, Michiel .. Smirnov, A. L. Smirnov, Andrei L. .... Smirnov, Roman G Smit, Jan Smith, D.H. ... See Smith, Derek Howard Smith, Derek Howard .. Smith, Douglas J. Smith, P.  ... 

Page 749 of Mathematical Reviews Vol. , Issue 99a [page]

1991 Mathematical Reviews  
ENS EI OI oo oi.cc ate wetcccsenws 47056 Stolboushkin, A. P. .................. 68077 Stolboushkin, Alexei Peery eee See Stolboushkin, A. P. Stolovitzky, Gustavo Stone, A. H.  ...  P. . See Sisakyan, A. N. See Slivnik, Tomaz, Jr. Howard Karen E. Smith, Kirby C. Smith, Mark A.  ... 

Page 3558 of Mathematical Reviews Vol. , Issue 2001E [page]

2001 Mathematical Reviews  
I Stohr, Ralph Stoica, Emil Stojanoff, Demetrio Stoymenovic, Ivan Stolboushkin, A. P. Stolboushkin, Alexei P. See Stepanov, S.  ...  G See Stewart, lan N. 13008 37067 28022 65054 $7029 01033 93071 35187 17006 53025 46099-46100 03052 68049 See Stolboushkin, A. P. Stolte, Andreas Stoorvogel, Anton A Storme, Leo Stoyan, Yu.  ... 

Page 3059 of Mathematical Reviews Vol. , Issue 94e [page]

1994 Mathematical Reviews  
P. ................c00. 03033 Stolboushkin, Alexei See Stolboushkin, A. P. Stolyarova, E. M. ................  ...  cendveocteracse¥bacdeans 05115 Stijnen, Theo NE ad i aleciaktesieasavansiatonts 68161 Stéhr, Karl-Otto 14035 TMOG BES ER kviicaviisvevcatesaccuccuss 81258 Stolarsky, Kenneth B. ................. 33009 Stolboushkin  ... 

Page 7022 of Mathematical Reviews Vol. , Issue 89M [page]

1989 Mathematical Reviews  
Alexey P. Stolboushkin (Pereslavl Zalessky) 89m:68092 68Q60 68N99 Vovk, V.G.; Semenov, A. L.; Soprunoy, S. F. A method for testing the correctness of programs on an assembler.  ...  Alexey P. Stolboushkin (Pereslavl Zalessky) 89m:68093 68060 68-06 *VDM °88. VDM—the way ahead. Proceedings of the Second VDM-Europe Symposium held in Dublin, September 11-16, 1988. Edited by R.  ... 

Page 4567 of Mathematical Reviews Vol. , Issue 2000f [page]

2000 Mathematical Reviews  
Stolboushkin, A. P. ........... Stolboushkin, Alexei P. . See Stolfi, Jorge Stolz, Ginter Stone, Charles J Storme, L. . ; Storozh, O. G. .... Stoten, D. P.  ...  Suris 03098,68035 Stolboushkin, A.  ... 

Page 1305 of Mathematical Reviews Vol. , Issue 96c [page]

1996 Mathematical Reviews  
Alexey P.  ...  Alexey P. Stolboushkin (1-UCLA; Los Angeles, CA) 96c:03096 03D75 03D80 68Q05 Solov’ev, V. D. (RS-KAZAM; Kazan’) Computability of nondeterministic programs and the search computability of Moschovakis.  ... 

Page 877 of Mathematical Reviews Vol. , Issue 2000b [page]

2000 Mathematical Reviews  
Stolboushkin [A. P. Stolboushkin] and Michael A. Taitslin [Mi -hail A.  ...  P.  ... 
« Previous Showing results 1 — 15 out of 141 results