my.bib

   1 @InProceedings{psi03-polysemantic,
   2   author =       {Zakharyaschev, I.M. and Zakharov, V.A.},
   3   title =        {An Equivalence-Checking Algorithm for Polysemantic Models of Sequential Programs},
   4   crossref =  {psi03-pu},
   5   booktitle = {Perspectives of System Informatics, International Workshop on Program Understanding},
   6   pages =        {59--69},
   7   year =         {2003},
   8 }
   9
  10 @Proceedings{psi03-pu,
  11   title =        {Perspectives of System Informatics, International Workshop on Program Understanding},
  12   year =         {2003},
  13   editor =       {Bulyonkov, M. and Gl\"{u}ck, R.},
  14   address =      {Novosibirsk---Altai Mountains, Russia},
  15   month =        {July},
  16   organization = {A.P.~Ershov Institute of Informatics Systems},
  17 }
  18
  19 @InProceedings{mm04-commut-monot,
  20   author =       {Zakharyaschev, I.M. and Zakharov, V.A.},
  21   title =        {On the complexity of the equivalence problem in a model of programs with commutative and monotone operators},
  22   crossref =  {mm04},
  23   booktitle = {Proceedings of {VIII}~International seminar on Discrete Mathematics and Its Applications},
  24   pages =        {131--134},
  25   year =         {2004},
  26   month =        {February},
  27 }
  28
  29
  30
  31 @Proceedings{mm04,
  32   title =        {Proceedings of {VIII}~International seminar on Discrete Mathematics and Its Applications},
  33   year =         {2004},
  34   editor =       {Lupanov, O.B. and Kasim-Zade, O.M. and Kochergin, V.V.},
  35   address =      {Moscow},
  36   month =        {February},
  37   organization = {Faculty of Mechanics and Mathematics, MSU},
  38   publisher = {Publishers of the Faculty of Mechanics and Mathematics, MSU},
  39 }
  40
  41 @InProceedings{mm04-commut-monot:eng,
  42   author =       {Zakharyaschev, I.M. and Zakharov, V.A.},
  43   title =        {On the complexity of the equivalence problem in a model of programs with commutative and monotone operators},
  44   crossref =  {mm04:eng},
  45   booktitle = {Proceedings of {VIII}~International seminar on Discrete Mathematics and Its Applications},
  46   pages =        {131--134},
  47   year =         {2004},
  48   month =        {February},
  49 }
  50
  51
  52
  53 @Proceedings{mm04:eng,
  54   title =        {Proceedings of {VIII}~International seminar on Discrete Mathematics and Its Applications},
  55   year =         {2004},
  56   editor =       {Lupanov, O.B. and Kasim-Zade, O.M. and Kochergin, V.V.},
  57   address =      {Moscow},
  58   month =        {February},
  59   organization = {Faculty of Mechanics and Mathematics, MSU},
  60   publisher = {Publishers of the Faculty of Mechanics and Mathematics, MSU},
  61   note =         {In Russian},
  62 }
  63
  64 @inproceedings{ciaa-commut-monot,
  65   author    = {Vladimir A. Zakharov and
  66                Ivan Zakharyaschev},
  67   title     = {On the Equivalence-Checking Problem for a Model of Programs
  68                Related with Multi-tape Automata.},
  69   booktitle = {CIAA},
  70   year      = {2004},
  71   pages     = {293-305},
  72   ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3317{\&}spage=293},
  73   crossref  = {DBLP:conf/wia/2004},
  74   bibsource = {DBLP, http://dblp.uni-trier.de}
  75 }
  76
  77 @proceedings{DBLP:conf/wia/2004,
  78   editor    = {Michael Domaratzki and
  79                Alexander Okhotin and
  80                Kai Salomaa and
  81                Sheng Yu},
  82   title     = {Implementation and Application of Automata, 9th International
  83                Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004,
  84                Revised Selected Papers},
  85   booktitle = {CIAA},
  86   publisher = {Springer},
  87   series    = {Lecture Notes in Computer Science},
  88   volume    = {3317},
  89   year      = {2004},
  90   isbn      = {3-540-24318-6},
  91   bibsource = {DBLP, http://dblp.uni-trier.de}
  92 }
  93
  94 @InProceedings{dm6-pcommut-monot,
  95   author =       {úÁÈÁÒÏ×, ÷.á. and úÁÈÁÒØÑÝÅ×, é.í.},
  96   title =        {ïÂ ÜË×É×ÁÌÅÎÔÎÏÓÔÉ ÐÒÏÇÒÁÍÍ Ó ÞÁÓÔÉÞÎÏ
  97 ÐÅÒÅÓÔÁÎÏ×ÏÞÎÙÍÉ ÏÐÅÒÁÔÏÒÁÍÉ, ÓÏÈÒÁÎÑÀÝÉÍÉ ÚÎÁÞÅÎÉÑ ÐÒÅÄÉËÁÔÏ×},
  98   booktitle = {äÉÓËÒÅÔÎÙÅ ÍÏÄÅÌÉ × ÔÅÏÒÉÉ ÕÐÒÁ×ÌÑÀÝÉÈ ÓÉÓÔÅÍ},
  99   pages =        {105--110},
 100   year =         {2004},
 101   note =         {\localRL{zazadm6}},
 102   crossref  = {dm6},
 103 }
 104
 105 @Proceedings{dm6,
 106   title =        {äÉÓËÒÅÔÎÙÅ ÍÏÄÅÌÉ × ÔÅÏÒÉÉ ÕÐÒÁ×ÌÑÀÝÉÈ ÓÉÓÔÅÍ, {VI}~íÅÖÄÕÎÁÒÏÄÎÁÑ ËÏÎÆÅÒÅÎÃÉÑ, íÏÓË×Á, 7--11~ÄÅËÁÂÒÑ 2004~Ç., ôÒÕÄÙ},
 107   year =         {2004},
 108   booktitle = {äÉÓËÒÅÔÎÙÅ ÍÏÄÅÌÉ × ÔÅÏÒÉÉ ÕÐÒÁ×ÌÑÀÝÉÈ ÓÉÓÔÅÍ},
 109   editor =       {áÌÅËÓÅÅ×, ÷.â. and úÁÈÁÒÏ×, ÷.á. and òÏÍÁÎÏ×, ä.ó.},
 110   isbn =         {5-89407-205-0},
 111   address =      {í.},
 112   publisher = {éÚÄÁÔÅÌØÓËÉÊ ÏÔÄÅÌ æÁËÕÌØÔÅÔÁ ÷íÉë íçõ ÉÍ.~í.÷.~ìÏÍÏÎÏÓÏ×Á},
 113   organization = {ëÁÆÅÄÒÁ ÍÁÔÅÍÁÔÉÞÅÓËÏÊ ËÉÂÅÒÎÅÔÉËÉ ÆÁËÕÌØÔÅÔÁ ÷íÉë íçõ},
 114   note =         {In Russian},
 115 }
 116
 117 @InProceedings{dm6-pcommut-monot:eng,
 118   author =       {Zakharov, V.A. and Zakharyaschev, I.M.},
 119   title =        {On the equivalence of programs with operators that are partially commutative and preserve the values of predicates},
 120   booktitle = {Proceedings of the VI~International Conference on Discrete Models in Control System Theory},
 121   pages =        {105--110},
 122   year =         {2004},
 123   note =         {In Russian\localRL{zazadm6}},
 124   crossref  = {dm6:eng},
 125 }
 126
 127