Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Anatol Slissenko",
%%%     version         = "1.12",
%%%     date            = "11 October 2020",
%%%     time            = "10:24:01 MDT",
%%%     filename        = "slissenko-anatol.bib",
%%%     address         = "University Paris 12
%%%                        Informatics
%%%                        61, Av. du Gen. de Gaulle
%%%                        CRETEIL, 94010
%%%                        FRANCE",
%%%     telephone       = "33 (0)1 45 17 16 63",
%%%     FAX             = "33 (0)1 45 17 16 49",
%%%     checksum        = "24906 1373 5412 56661",
%%%     email           = "slissenko at univ-paris12.fr (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX, real-time systems
%%%                        verification",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        Anatol Slissenko.  The companion LaTeX file
%%%                        slissenko-anatol.ltx can be used to typeset
%%%                        this bibliography.
%%%
%%%                        At version 1.12, the year coverage looked
%%%                        like this:
%%%
%%%                             1963 (   1)    1979 (   2)    1995 (   2)
%%%                             1964 (   3)    1980 (   2)    1996 (   3)
%%%                             1965 (   1)    1981 (   4)    1997 (   5)
%%%                             1966 (   1)    1982 (   1)    1998 (   5)
%%%                             1967 (   3)    1983 (   5)    1999 (   2)
%%%                             1968 (   0)    1984 (   2)    2000 (   1)
%%%                             1969 (   1)    1985 (   1)    2001 (   0)
%%%                             1970 (   1)    1986 (   0)    2002 (   2)
%%%                             1972 (   0)    1988 (   0)    2004 (   1)
%%%                             1973 (   1)    1989 (   4)    2005 (   0)
%%%                             1974 (   0)    1990 (   1)    2006 (   0)
%%%                             1975 (   0)    1991 (   3)    2007 (   0)
%%%                             1976 (   1)    1992 (   1)    2008 (   1)
%%%                             1977 (   0)    1993 (   3)
%%%                             1978 (   4)    1994 (   1)
%%%
%%%                             Article:         36
%%%                             Book:             2
%%%                             InCollection:    14
%%%                             InProceedings:    5
%%%                             Proceedings:      8
%%%                             TechReport:       4
%%%
%%%                             Total entries:   69
%%%
%%%                        This file is available as part of the BibNet
%%%                        Project.  The master copy is available for
%%%                        public access on ftp.math.utah.edu in the
%%%                        directory tree /pub/bibnet/authors.  It is
%%%                        mirrored to netlib.bell-labs.com in the directory
%%%                        tree /netlib/bibnet/authors, from which it is
%%%                        available via anonymous ftp and the Netlib
%%%                        service.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================
%%% ====================================================================
%%% Institute abbreviations:
@String{inst-UNIV-PARIS-12-INFO = "University Paris 12, Department of
                                  Informatics"}

%%% ====================================================================
%%% Journal abbreviations:
@String{j-ACTA-INFO             = "Acta Informatica"}

@String{j-INFO-PROC-LETT        = "Information Processing Letters"}

@String{j-INFO-SCI              = "Information Sciences"}

@String{j-J-MATH-SCI-NY-NY      = "Journal of mathematical sciences (New York,
                                  N.Y.)"}

@String{j-J-SOV-MATH            = "Journal of Soviet Mathematics"}

@String{j-J-UCS                 = "J.UCS: Journal of Universal Computer
                                  Science"}

@String{j-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

@String{j-PROC-STEKLOV-INST-MATH = "Trudy Matematicheskogo instituta imeni V.
                                  A. Steklova = Proceedings of the Steklov
                                  Institute of Mathematics"}

@String{j-RUSS-MATH-SURV        = "Russian mathematical surveys"}

@String{j-SOVIET-MATH           = "J. of Soviet Mathematics"}

@String{j-SOVIET-MATH-DOKL      = "Soviet Mathematics. Doklady"}

@String{j-ST-PETERSBG-MATH-J    = "St. Petersburg mathematical journal"}

@String{j-TECHNIQUE-SCI-INFORMATIQUES = "Technique et science informatiques:
                                  TSI"}

@String{j-THEOR-COMP-SCI        = "Theoretical Computer Science"}

@String{j-USPEHI-MAT-NAUK       = "Uspekhi matematicheskikh nauk"}

@String{j-ZAP-NAUC-SEMIN-LENINGR-OTD-ORDENA = "Zapiski naucnyh seminarov
                                  Leningradskogo otdelenija ordena Lenina
                                  Matematiceskogo instituta im. V.A. Steklova
                                  Akademii nauk SSSR"}

%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-ACM                 = "ACM Press"}

@String{pub-ACM:adr             = "New York, NY, USA"}

@String{pub-NH                  = "North-Holland"}

@String{pub-NH:adr              = "Amsterdam, The Netherlands"}

@String{pub-SV                  = "Springer-Verlag"}

@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."}

%%% ====================================================================
%%% Series abbreviations:
@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Bibliography entries, sorted by year, then by citation label:
@Article{Slissenko:1963:SAP,
  author =       "A. Slissenko",
  title =        "On Some Algorithmic Problems, Concerning Arithmetical
                 Operations on Duplexes",
  journal =      "Doklady Akademii Nauk SSSR (Soviet Mathematical
                 Doklady)",
  volume =       "152",
  number =       "2",
  pages =        "292--295",
  year =         "1963",
  CODEN =        "DAKNEQ",
  ISSN =         "0869-5652",
  bibdate =      "Thu Aug 5 17:46:35 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@Article{Slissenko:1964:CNS,
  author =       "A. Slissenko",
  title =        "On Constructive Non-Separable Spaces",
  journal =      j-PROC-STEKLOV-INST-MATH,
  volume =       "72",
  pages =        "533--536",
  year =         "1964",
  CODEN =        "TMISAF",
  ISSN =         "0081-5438",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@Article{Slissenko:1964:END,
  author =       "A. Slissenko",
  title =        "An Example of Non-Discontinuous but not Continuous
                 Constructive Operator in a Metric Space",
  journal =      j-PROC-STEKLOV-INST-MATH,
  volume =       "72",
  pages =        "524--532",
  year =         "1964",
  CODEN =        "TMISAF",
  ISSN =         "0081-5438",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@Article{Slissenko:1964:SAP,
  author =       "A. Slissenko",
  title =        "On Some Algorithmic Problems, Concerning Arithmetical
                 Operations on Duplexes",
  journal =      j-PROC-STEKLOV-INST-MATH,
  volume =       "72",
  pages =        "488--523",
  year =         "1964",
  CODEN =        "TMISAF",
  ISSN =         "0081-5438",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@Book{Shanin:1965:AMS,
  author =       "N. Shanin and G. Davydov and S. Maslov and G. Mints
                 and V. Orevkov and A. Slissenko",
  title =        "An Algorithm for Machine Search of a Natural Logical
                 Deduction in a Propositional Calculus",
  publisher =    "Nauka",
  address =      "Leningrad, USSR",
  pages =        "39",
  year =         "1965",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@InCollection{Slissenko:1966:SAP,
  author =       "A. Slissenko",
  booktitle =    "Inter. Congress of Mathematicians, Moscow, 1966.
                 Section 1, Mathematical Logic and Foundations of
                 Mathematics. Abstracts",
  title =        "Some Algorithmic Problems Related to Computational
                 Mathematics",
  publisher =    "ICM",
  address =      "Moscow, USSR",
  pages =        "24--25",
  year =         "1966",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@Article{Slissenko:1967:AOC,
  author =       "A. Slissenko",
  title =        "Arithmetical Operations on Certain Sets of Duplexes",
  journal =      j-PROC-STEKLOV-INST-MATH,
  volume =       "93",
  pages =        "241--267",
  year =         "1967",
  CODEN =        "TMISAF",
  ISSN =         "0081-5438",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Trudy Matematicheskogo
                 Instituta Akademii Nauk SSSR}, 93:187--207, 1967.",
}

@Article{Slissenko:1967:CMC,
  author =       "A. Slissenko",
  title =        "The Construction of Maximal Continuity Regulators for
                 Constructive Functions",
  journal =      j-PROC-STEKLOV-INST-MATH,
  volume =       "93",
  pages =        "269--317",
  year =         "1967",
  CODEN =        "TMISAF",
  ISSN =         "0081-5438",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Trudy Matematicheskogo
                 Instituta Akademii Nauk SSSR}, 93:208-249, 1967.",
}

@Article{Slissenko:1967:MCR,
  author =       "A. Slissenko",
  title =        "On Maximal Continuity Regulators of Constructive
                 Functions",
  journal =      j-ZAP-NAUC-SEMIN-LENINGR-OTD-ORDENA,
  volume =       "4",
  pages =        "201--208",
  year =         "1967",
  CODEN =        "ZNSLAF",
  ISSN =         "0373-2703",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian. Translated into English in: {\em Seminars
                 in Mathematics, V.A.Steklov Mathematical Institute,
                 Leningrad}, 4:82--84, 1969.",
}

@Article{Shanin:1969:CAD,
  author =       "N. Shanin and G. Davydov and S. Maslov and G. Mints
                 and V. Orevkov and A. Slissenko",
  title =        "A Computer Algorithm for the Determination of
                 Deducibility on the Basis of the Inverse Method",
  journal =      j-ZAP-NAUC-SEMIN-LENINGR-OTD-ORDENA,
  volume =       "16",
  pages =        "8--19",
  year =         "1969",
  CODEN =        "ZNSLAF",
  ISSN =         "0373-2703",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian. Translated into English in: {\em The
                 Automation of Reasoning II. Classical Papers on
                 Computational Logic 1967--1970}, Springer-Verlag,
                 1983.",
}

@Article{Slissenko:1970:SQA,
  author =       "A. Slissenko",
  title =        "Some Questions of Approximation of Maximal Continuity
                 Regulators",
  journal =      j-PROC-STEKLOV-INST-MATH,
  volume =       "113",
  pages =        "73--78",
  year =         "1970",
  CODEN =        "TMISAF",
  ISSN =         "0081-5438",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@Article{Slissenko:1973:PES,
  author =       "A. Slissenko",
  title =        "A Property of Enumerable Sets Containing `Complexly
                 Deducible' Formulas",
  journal =      j-SOVIET-MATH,
  volume =       "1",
  number =       "1",
  pages =        "126--131",
  year =         "1973",
  CODEN =        "????",
  ISSN =         "????",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Zapiski Nauchnykh Seminarov
                 LOMI}, 20:200-207, 1971.",
}

@Article{Slissenko:1976:RSP,
  author =       "A. Slissenko",
  title =        "Recognizing a Symmetry Predicate by Multihead {Turing}
                 Machines with Input",
  journal =      j-PROC-STEKLOV-INST-MATH,
  volume =       "129",
  pages =        "25--208",
  year =         "1976",
  CODEN =        "TMISAF",
  ISSN =         "0081-5438",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Trudy Matematicheskogo
                 Instituta Akademii Nauk SSSR}, 129:30--202, 1973.",
}

@Article{Slissenko:1978:FAP,
  author =       "A. Slissenko",
  title =        "Finite Approach to the Problem of Optimizing
                 Theorem-Proving Algorithms",
  journal =      j-SOVIET-MATH,
  volume =       "10",
  number =       "4",
  pages =        "597--603",
  year =         "1978",
  CODEN =        "????",
  ISSN =         "????",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Zapiski Nauchnykh Seminarov
                 LOMI}, 49:123-130, 1975.",
}

@InCollection{Slissenko:1978:MCB,
  author =       "A. Slissenko",
  booktitle =    "Proc. Soviet Symp. on AI and Automation of Research in
                 Mathematics, Kiev",
  title =        "Models of Computations Based on Address Organization
                 of Storage",
  publisher =    "Institute of Cybernetics",
  address =      "Kiev, USSR",
  pages =        "94--96",
  year =         "1978",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@InProceedings{Slissenko:1978:SMR,
  author =       "A. Slissenko",
  title =        "String-Matching in Real-Time: Some Properties of the
                 Data Structure",
  crossref =     "Winkowski:1978:MFC",
  pages =        "493--496",
  year =         "1978",
  bibdate =      "Sat Jul 3 07:43:10 MDT 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@InProceedings{Slissenko:1979:CCS,
  author =       "A. Slissenko",
  title =        "Computational Complexity of String and Graph
                 Identification",
  crossref =     "Becvar:1979:MFC",
  pages =        "182--190",
  year =         "1979",
  bibdate =      "Sat Jul 3 07:43:10 MDT 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@Article{Maslov:1980:NAS,
  author =       "S. Maslov and Yu. Matiyasevich and G. Mints and V.
                 Orevkov and A. Slissenko",
  title =        "{Nikolai Aleksandrovich Shanin} (on his Sixtieth
                 Anniversary)",
  journal =      j-USPEHI-MAT-NAUK,
  volume =       "35",
  number =       "2(212)",
  pages =        "241--245",
  year =         "1980",
  CODEN =        "UMANA5",
  ISSN =         "0042-1316",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@Article{Slissenko:1980:FRT,
  author =       "A. Slissenko",
  title =        "Finding in Real Time of All the Periodicities in a
                 Word",
  journal =      j-SOVIET-MATH-DOKL,
  volume =       "21",
  number =       "2",
  pages =        "392--295",
  year =         "1980",
  CODEN =        "????",
  ISSN =         "0197-6788",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Doklady Akademii Nauk SSSR},
                 251(1):48--51, 1980.",
}

@InCollection{Adelson-Velski:1981:WCW,
  author =       "G. Adel'son-Vel'ski and A. Slissenko",
  title =        "What Can We Do with Problems of Exhaustive Search?",
  crossref =     "Ershov:1981:AMM",
  pages =        "315--342",
  year =         "1981",
  bibdate =      "Sat Jul 3 07:43:10 MDT 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@Article{Slissenko:1981:CPT,
  author =       "A. Slissenko",
  title =        "Complexity Problems of Theory of Computation",
  journal =      j-RUSS-MATH-SURV,
  volume =       "36",
  number =       "6",
  pages =        "23--125",
  year =         "1981",
  CODEN =        "????",
  ISSN =         "0036-0279",
  ISSN-L =       "0036-0279",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Uspekhi Matem. Nauk},
                 36(2):21--103, 1981.",
}

@Article{Slissenko:1981:SPR,
  author =       "A. Slissenko",
  title =        "A Simplified Proof of Real-Time Recognizability of
                 Palindromes on {Turing} Machines",
  journal =      j-SOVIET-MATH,
  volume =       "15",
  number =       "1",
  pages =        "68--77",
  year =         "1981",
  CODEN =        "????",
  ISSN =         "????",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Zapiski Nauchnykh Seminarov
                 LOMI}, 68:123--139, 1977.",
}

@Article{Slissenko:1982:CFG,
  author =       "A. Slissenko",
  title =        "Context-Free Grammars as a Tool for Describing
                 Polynomial-Time Subclasses of Hard Problems",
  journal =      j-INFO-PROC-LETT,
  volume =       "14",
  number =       "2",
  pages =        "52--56",
  year =         "1982",
  CODEN =        "IFPLAT",
  ISSN =         "0020-0190 (print), 1872-6119 (electronic)",
  ISSN-L =       "0020-0190",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@InCollection{Orlovsky:1983:AII,
  author =       "G. Orlovsky and A. Slissenko",
  booktitle =    "Computers in Design and Manufacturing",
  title =        "Artificial Intelligence: an Industrial Point of View",
  publisher =    "Mashinostroyeniye Publ. House",
  address =      "Leningrad, USSR",
  year =         "1983",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@InCollection{Shanin:1983:AMS,
  author =       "N. Shanin and G. Davydov and S. Maslov and G. Mints
                 and V. Orevkov and A. Slissenko",
  title =        "An Algorithm for Machine Search of a Natural Logical
                 Deduction in a Propositional Calculus",
  crossref =     "Siekmann:1983:AR",
  volume =       "1",
  pages =        "424--483",
  year =         "1983",
  bibdate =      "Sat Jul 3 07:43:10 MDT 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Classical papers on computational logic 1957--1966.",
}

@InCollection{Shanin:1983:CAD,
  author =       "N. Shanin and G. Davydov and S. Maslov and G. Mints
                 and V. Orevkov and A. Slissenko",
  title =        "A Computer Algorithm for the Determination of
                 Deducibility on the Basis of the Inverse Method",
  crossref =     "Siekmann:1983:AR",
  volume =       "2",
  pages =        "???",
  year =         "1983",
  bibdate =      "Sat Jul 3 07:43:10 MDT 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Classical papers on computational logic 1967--1970.
                 Russian original in: {\em Zapiski Nauchnykh Seminarov
                 LOMI}, {\bf 16}:8--19, 1969.",
}

@Article{Slissenko:1983:DPS,
  author =       "A. Slissenko",
  title =        "Detection of Periodicities and String-Matching in Real
                 Time",
  journal =      j-J-SOV-MATH,
  volume =       "22",
  number =       "3",
  pages =        "1316--1386",
  year =         "1983",
  CODEN =        "JSOMAR",
  ISSN =         "0090-4104 (print), 2376-5798 (electronic)",
  ISSN-L =       "0090-4104",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib;
                 http://www.math.utah.edu/pub/tex/bib/string-matching.bib",
  note =         "Russian original in: {\em Zapiski Nauchnykh Seminarov
                 LOMI}, 105:62--173, 1981.",
  fjournal =     "Journal of Soviet Mathematics",
  journal-URL =  "http://link.springer.com/journal/10958",
}

@Article{Davydov:1984:SYM,
  author =       "G. Davydov and Yu. Matiyasevich and G. Mints and V.
                 Orevkov and N. Shanin and A. Slissenko",
  title =        "{Sergei Yuryevich Maslov}. Obituary",
  journal =      j-USPEHI-MAT-NAUK,
  volume =       "39",
  pages =        "239--240",
  year =         "1984",
  CODEN =        "UMANA5",
  ISSN =         "0042-1316",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@InCollection{Slissenko:1984:LCD,
  author =       "A. Slissenko",
  booktitle =    "Proc. Intern. Congress of Mathematicians, August
                 16--24, 1983, Waszawa",
  title =        "Linguistic Considerations in Devising Effective
                 Algorithms",
  publisher =    "ICM",
  address =      "Waszawa, Poland",
  pages =        "347--357",
  year =         "1984",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@Article{Lavrov:1985:CIS,
  author =       "S. Lavrov and A. Slissenko and G. Tseitin",
  title =        "Curriculum for Informatics and System Programming.
                 Project",
  journal =      "Mikroprotsessornyye Sredstva i Systemy ==
                 Microprocessor Devices and Systems",
  volume =       "4",
  pages =        "20--28",
  year =         "1985",
  CODEN =        "????",
  ISSN =         "0223-4844",
  bibdate =      "Thu Aug 5 17:44:12 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@InCollection{Gorodetsky:1989:ESM,
  author =       "V. Gorodetsky and A. Lebedev and A. Slissenko",
  booktitle =    "Special Purpose Expert Systems",
  title =        "Expert Systems in Modeling",
  publisher =    "USSR Ministry of Defense",
  address =      "Moscow, USSR",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Series: {\em Fundamental and Perspective Research in
                 the Interests of the Defense.} In Russian.",
}

@InCollection{Gorodetsky:1989:MMI,
  author =       "V. Gorodetsky and A. Lebedev and A. Slissenko",
  booktitle =    "Special Purpose Expert Systems",
  title =        "Man-Machine Interface as a Tool of Increasing the
                 Productivity of Design and Application of Computer
                 Systems of Knowledge Processing",
  publisher =    "USSR Ministry of Defense",
  address =      "Moscow, USSR",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Series: {\em Fundamental and Perspective Research in
                 the Interests of the Defense.} In Russian.",
}

@InCollection{Gorodetsky:1989:PCD,
  author =       "V. Gorodetsky and A. Lebedev and A. Slissenko",
  booktitle =    "Special Purpose Expert Systems",
  title =        "Problems of Complexity and Design of Special Purpose
                 Expert Systems",
  publisher =    "USSR Ministry of Defense",
  address =      "Moscow, USSR",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Series: {\em Fundamental and Perspective Research in
                 the Interests of the Defense.} In Russian.",
}

@InCollection{Slissenko:1989:TPA,
  author =       "A. Slissenko",
  booktitle =    "Theoretical Aspects and Tools of Applied Intellectual
                 Systems",
  title =        "Towards the Problem of Analysis of Logical and
                 Algorithmical Structure of the Systems of Knowledge
                 Representation and Processing",
  publisher =    "Scientific Council for Cybernetics of the Acad. Sci.
                 of the USSR",
  address =      "Moscow, USSR",
  year =         "1989",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Series: {\em Questions of Cybernetics}. In Russian.",
}

@Article{Matiyasevich:1990:NAS,
  author =       "Yu. Matiyasevich and G. Mints and V. Orevkov and A.
                 Slissenko",
  title =        "{Nikolai Aleksandrovich Shanin} (on his Seventieth
                 Birthday)",
  journal =      j-RUSS-MATH-SURV,
  volume =       "45",
  number =       "1",
  pages =        "239--240",
  year =         "1990",
  CODEN =        "????",
  ISSN =         "0036-0279",
  ISSN-L =       "0036-0279",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Uspekhi Matem. Nauk},
                 45(1):205--206, 1990.",
}

@Article{Slissenko:1991:MIQ,
  author =       "A. Slissenko",
  title =        "On Measures of Information Quality of Knowledge
                 Processing Systems",
  journal =      j-INFO-SCI,
  volume =       "57--58",
  pages =        "389--402",
  year =         "1991",
  CODEN =        "ISIJBC",
  ISSN =         "0020-0255 (print), 1872-6291 (electronic)",
  ISSN-L =       "0020-0255",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@InProceedings{Slissenko:1991:TEE,
  author =       "A. Slissenko",
  title =        "Technological Environment for Expert Systems
                 Development",
  crossref =     "Alty:1991:IAA",
  pages =        "172--175",
  year =         "1991",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@InCollection{Slissenko:1992:DSM,
  author =       "A. Slissenko",
  editor =       "R. Yusupov",
  booktitle =    "Methods and Tools of Information Technology in Science
                 and Industry",
  title =        "Diminishing Search by the Method of Context-Free
                 Decomposition",
  publisher =    "Nauka Publ. House",
  address =      "St.-Petersburg, Russia",
  pages =        "7--20",
  year =         "1992",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "In Russian.",
}

@InCollection{Heintz:1993:BIP,
  author =       "J. Heintz and T. Krick and A. Slissenko and P.
                 Solern\'o",
  booktitle =    "Publications du d\'epartement de math\'ematiques de
                 l'Universit\'e de Limoges",
  title =        "Une borne inf\'erieure pour la construction de chemins
                 polygonaux dans \mbox{\boldmath $R$}$^n$",
  publisher =    "Universit\'e de Limoges",
  address =      "Limoges, France",
  pages =        "94--100",
  year =         "1993",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@Article{Slissenko:1993:FTS,
  author =       "A. O. Slissenko",
  title =        "On fault tolerance of syntax",
  journal =      j-THEOR-COMP-SCI,
  volume =       "119",
  number =       "1",
  pages =        "215--222",
  day =          "11",
  month =        oct,
  year =         "1993",
  CODEN =        "TCSCDI",
  ISSN =         "0304-3975 (print), 1879-2294 (electronic)",
  ISSN-L =       "0304-3975",
  bibdate =      "Mon Jul 19 22:17:36 MDT 1999",
  bibsource =    "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1993&volume=119&issue=1;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1993&volume=119&issue=1&aid=1450",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C4220 (Automata theory); C4240
                 (Programming and algorithm theory); C6110B (Software
                 engineering techniques)",
  conflocation = "Grenoble, France; Oct. 1991",
  conftitle =    "5th Soviet-French Symposium on Theoretical Computer
                 Science, Methods and Tools for Compilation, and Program
                 Development (Informatika'91)",
  corpsource =   "St. Petersburg Inst. for Inf. and Autom., Acad. of
                 Sci., Russia",
  keywords =     "complexity; computational complexity; context-free
                 languages; fault tolerance of syntax; fault tolerant
                 computing; finite automata; formal language; formal
                 languages; grammar; methods of estimation;
                 nondeterministic finite-automaton languages; quality;
                 software quality; software systems; time polynomial",
  pubcountry =   "Netherlands",
  treatment =    "P Practical",
}

@Article{Slissenko:1993:VRY,
  author =       "A. Slissenko",
  title =        "A View on Recent Years of Research in Theoretical
                 Computer Science in the Former {Soviet Union}",
  journal =      j-TECHNIQUE-SCI-INFORMATIQUES,
  volume =       "12",
  number =       "1",
  pages =        "9--28",
  year =         "1993",
  CODEN =        "TTSIDJ",
  ISSN =         "0752-4072, 0264-7419",
  ISSN-L =       "0752-4072",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@Article{Heintz:1994:FSP,
  author =       "J. Heintz and T. Krick and A. Slissenko and P.
                 Solern\'o",
  title =        "Finding Shortest Paths around Semi-Algebraic Obstacles
                 in the Plane",
  journal =      j-J-MATH-SCI-NY-NY,
  volume =       "70",
  number =       "4",
  pages =        "1944--1949",
  year =         "1994",
  CODEN =        "JMTSEW",
  ISSN =         "1072-3374",
  ISSN-L =       "1072-3374",
  bibdate =      "Thu Aug 5 17:44:19 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Russian original in: {\em Zapiski Nauchnykh Seminarov
                 LOMI}, 192:164-174, 1991.",
}

@Article{Beauquier:1995:CFM,
  author =       "D. Beauquier and D. Burago and A. Slissenko",
  title =        "On the Complexity of Finite Memory Policies for
                 {Markov} Decision Processes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "969",
  pages =        "191--200",
  year =         "1995",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Jul 03 09:38:09 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  acknowledgement = ack-nhfb,
}

@TechReport{Beauquier:1996:PMC,
  author =       "D. Beauquier and A. Slissenko",
  title =        "Polytime Model Checking for Timed Probabilistic
                 Systems",
  number =       "96--08",
  institution =  inst-UNIV-PARIS-12-INFO,
  pages =        "13",
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.univ-paris12.fr/lacl/",
}

@TechReport{Beauquier:1996:RCP,
  author =       "D. Beauquier and A. Slissenko",
  title =        "The Railroad Crossing Problem: Towards Semantics of
                 Timed Algorithms and their Model-Checking in High-Level
                 Languages",
  number =       "96--10",
  institution =  inst-UNIV-PARIS-12-INFO,
  pages =        "24",
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.univ-paris12.fr/lacl/",
}

@Article{Burago:1996:CPO,
  author =       "Dima Burago and Michel de Rougemont and Anatol
                 Slissenko",
  title =        "On the complexity of partially observed {Markov}
                 decision processes",
  journal =      j-THEOR-COMP-SCI,
  volume =       "157",
  number =       "2",
  pages =        "161--183",
  day =          "05",
  month =        may,
  year =         "1996",
  CODEN =        "TCSCDI",
  ISSN =         "0304-3975 (print), 1879-2294 (electronic)",
  ISSN-L =       "0304-3975",
  bibdate =      "Mon Jul 19 22:19:53 MDT 1999",
  bibsource =    "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1996&volume=157&issue=2;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1996&volume=157&issue=2&aid=2099",
  acknowledgement = ack-nhfb,
  classification = "B0240E (Game theory); C1140E (Game theory); C1140Z
                 (Other topics in statistics); C4240C (Computational
                 complexity)",
  corpsource =   "Inst. for Inf. and Autom., Acad. of Sci., St.
                 Petersburg, Russia",
  keywords =     "bijective coloring; colored vertices; computational
                 complexity; decision theory; finite stationary
                 processes; Markov processes; Max-Word problem are also
                 indicated; NP- hard; optimal strategies; partially
                 observed Markov decision processes complexity; polytime
                 approximations; probabilistic deviations; upper bound",
  pubcountry =   "Netherlands",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

@Article{Beauquier:1997:RCP,
  author =       "D. Beauquier and A. Slissenko",
  title =        "The Railroad Crossing Problem: Towards Semantics of
                 Timed Algorithms and Their Model-Checking in High-Level
                 Languages",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1214",
  pages =        "201--212",
  year =         "1997",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Jul 03 09:39:08 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  acknowledgement = ack-nhfb,
}

@TechReport{Beauquier:1997:SAC,
  author =       "D. Beauquier and A. Slissenko",
  title =        "On Semantics of Algorithms with Continuous Time",
  number =       "96--15 (Revised Version)",
  institution =  inst-UNIV-PARIS-12-INFO,
  pages =        "25",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.univ-paris12.fr/lacl/",
}

@Article{Grigoriev:1997:CML,
  author =       "D. Grigoriev and A. Slissenko",
  title =        "Computing Minimum-Link Path in a Homotopy Class amidst
                 Semi-Algebraic Obstacles in the Plane",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1255",
  pages =        "114--129",
  year =         "1997",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Jul 03 08:27:31 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  acknowledgement = ack-nhfb,
}

@TechReport{Beauquier:1998:DVR,
  author =       "D. Beauquier and A. Slissenko",
  title =        "Decidable Verification for Reducible Timed Automata
                 Specified in a First Order Logic with Time",
  number =       "98--16",
  institution =  inst-UNIV-PARIS-12-INFO,
  pages =        "28",
  year =         "1998",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.univ-paris12.fr/lacl/",
}

@Article{Beauquier:1998:PMC,
  author =       "Dani{\`e}le Beauquier and Anatol Slissenko",
  title =        "Polytime Model Checking for Timed Probabilistic
                 Computation Tree Logic",
  journal =      j-ACTA-INFO,
  volume =       "35",
  number =       "8",
  pages =        "645--664",
  month =        aug,
  year =         "1998",
  CODEN =        "AINFA2",
  ISSN =         "0001-5903 (print), 1432-0525 (electronic)",
  ISSN-L =       "0001-5903",
  MRclass =      "68Q60",
  MRnumber =     "99f:68133",
  bibdate =      "Sat Oct 9 17:52:48 MDT 1999",
  bibsource =    "http://link.springer-ny.com/link/service/journals/00236/tocs/t8035008.htm;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib;
                 MathSciNet database",
  URL =          "http://link.springer-ny.com/link/service/journals/00236/bibs/8035008/80350645.htm;
                 http://link.springer-ny.com/link/service/journals/00236/papers/8035008/80350645.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Grigoriev:1998:PAS,
  author =       "D. Grigoriev and A. Slissenko",
  title =        "Polytime Algorithm for the Shortest Path in a Homotopy
                 Class amidst Semi-Algebraic Obstacles in the Plane",
  crossref =     "Gloor:1998:IPI",
  pages =        "17--24",
  year =         "1998",
  bibdate =      "Thu Sep 29 19:15:26 2011",
  bibsource =    "http://www.acm.org/pubs/contents/proceedings/issac/281508/index.html;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.acm.org/pubs/citations/proceedings/issac/281508/p17-grigoriev/",
  acknowledgement = ack-nhfb,
}

@InCollection{Slissenko:1998:SPL,
  author =       "A. Slissenko",
  editor =       "C. Calude",
  booktitle =    "People and Ideas Crafting Theoretical Computer
                 Science",
  title =        "St. Petersburg\slash Leningrad (1961--1998): From
                 Logic to Complexity and Further",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "274--313",
  year =         "1998",
  bibdate =      "Sat Jul 3 07:43:10 MDT 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@InProceedings{Beauquier:1999:DCV,
  author =       "D. Beauquier and A. Slissenko",
  booktitle =    "Proc. of the 12th Intern. Symp. on Fundamentals of
                 Computation Theory (FCT'99). Iasi, Rumania",
  title =        "Decidable Classes of the Verification Problem in a
                 Timed Predicate Logic",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  month =        aug # " 30 -- " # sep # " 3",
  year =         "1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "To appear.",
}

@Article{Grigoriev:1999:CML,
  author =       "D. Grigoriev and A. Slissenko",
  title =        "Computing Minimum-Link Path in a Homotopy Class amidst
                 Semi-Algebraic Obstacles in the Plane",
  journal =      j-ST-PETERSBG-MATH-J,
  volume =       "10",
  number =       "2",
  pages =        "315--332",
  year =         "1999",
  CODEN =        "????",
  ISSN =         "1061-0022",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
}

@Article{Cohen:2000:VRT,
  author =       "J. Cohen and A. Slissenko",
  title =        "On Verification of Refinements of Timed Distributed
                 Algorithms",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1912",
  pages =        "34--??",
  year =         "2000",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Sep 10 19:08:48 MDT 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t1912.htm;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/1912/19120034.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/1912/19120034.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Beauquier:2002:DVR,
  author =       "Dani{\`e}le Beauquier and Anatol Slissenko",
  title =        "Decidable verification for reducible timed automata
                 specified in a first order logic with time",
  journal =      j-THEOR-COMP-SCI,
  volume =       "275",
  number =       "1--2",
  pages =        "347--388",
  day =          "28",
  month =        mar,
  year =         "2002",
  CODEN =        "TCSCDI",
  ISSN =         "0304-3975 (print), 1879-2294 (electronic)",
  ISSN-L =       "0304-3975",
  bibdate =      "Thu Apr 25 16:46:36 MDT 2002",
  bibsource =    "http://www.elsevier.com/locate/issn/03043975;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.elsevier.com/gej-ng/10/41/16/246/27/37/abstract.html",
  acknowledgement = ack-nhfb,
  fjournal =     "Theoretical Computer Science",
}

@Article{Beauquier:2002:LPD,
  author =       "Dani{\`e}le Beauquier and Alexander Rabinovich and
                 Anatol Slissenko",
  title =        "A Logic of Probability with Decidable Model-Checking",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2471",
  pages =        "306--??",
  year =         "2002",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Sep 10 19:11:24 MDT 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2471.htm;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/2471/24710306.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/2471/24710306.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Burago:2004:ASP,
  author =       "D. Burago and D. Grigoriev and A. Slissenko",
  title =        "Approximating shortest path for the skew lines problem
                 in time doubly logarithmic in $1/\epsilon$",
  journal =      j-THEOR-COMP-SCI,
  volume =       "315",
  number =       "2--3",
  pages =        "371--404",
  day =          "6",
  month =        may,
  year =         "2004",
  CODEN =        "TCSCDI",
  ISSN =         "0304-3975 (print), 1879-2294 (electronic)",
  ISSN-L =       "0304-3975",
  bibdate =      "Thu Nov 4 10:19:15 MST 2004",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib;
                 http://www.sciencedirect.com/science/journal/03043975",
  acknowledgement = ack-nhfb,
  fjournal =     "Theoretical Computer Science",
}

@Article{Slissenko:2008:STA,
  author =       "A. Slissenko and P. Vasilyev",
  title =        "Simulation of Timed Abstract State Machines with
                 Predicate Logic Model-Checking",
  journal =      j-J-UCS,
  volume =       "14",
  number =       "12",
  pages =        "1984--??",
  month =        "????",
  year =         "2008",
  CODEN =        "????",
  ISSN =         "0948-6968",
  ISSN-L =       "0948-6968",
  bibdate =      "Wed Aug 25 22:38:57 MDT 2010",
  bibsource =    "http://www.jucs.org/jucs;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  URL =          "http://www.jucs.org/jucs_14_12/simulation_of_timed_abstract",
  acknowledgement = ack-nhfb,
}

%%% ====================================================================
%%% Cross-referenced entries must come last:
@Proceedings{Winkowski:1978:MFC,
  editor =       "Jozef Winkowski",
  booktitle =    "Mathematical foundations of computer science, 1978:
                 proceedings, 7th Symposium, Zakopane, Poland, September
                 4--8, 1978",
  title =        "Mathematical foundations of computer science, 1978:
                 proceedings, 7th Symposium, Zakopane, Poland, September
                 4--8, 1978",
  volume =       "64",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "ix + 551",
  year =         "1978",
  CODEN =        "LNCSD9",
  ISBN =         "0-387-08917-9",
  ISBN-13 =      "978-0-387-08917-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA76.6 .S9194 1978",
  bibdate =      "Fri Apr 12 07:20:51 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "database management --- congresses; electronic digital
                 computers --- programming --- congresses; parallel
                 processing (electronic computers) --- congresses;
                 programming languages (electronic computers) ---
                 congresses",
}

@Proceedings{Becvar:1979:MFC,
  editor =       "J. Becvar",
  booktitle =    "Mathematical foundations of computer science, 1979:
                 proceedings, 8th Symposium, Olomouc, Czechoslovakia,
                 September 3--7, 1979",
  title =        "Mathematical foundations of computer science, 1979:
                 proceedings, 8th Symposium, Olomouc, Czechoslovakia,
                 September 3--7, 1979",
  volume =       "74",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "ix + 580",
  year =         "1979",
  CODEN =        "LNCSD9",
  ISBN =         "0-387-09526-8",
  ISBN-13 =      "978-0-387-09526-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA76.6 .S9194 1979",
  bibdate =      "Fri Apr 12 07:21:32 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "algorithms --- congresses; computable functions ---
                 congresses; electronic digital computers ---
                 programming --- congresses; machine theory ---
                 congresses",
}

@Proceedings{Ershov:1981:AMM,
  editor =       "A. P. Ershov and Donald E. Knuth",
  booktitle =    "Algorithms in modern mathematics and computer science:
                 proceedings, Urgench, Uzbek {SSR}, September 16--22,
                 1979",
  title =        "Algorithms in modern mathematics and computer science:
                 proceedings, Urgench, Uzbek {SSR}, September 16--22,
                 1979",
  volume =       "122",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xi + 487",
  year =         "1981",
  CODEN =        "LNCSD9",
  DOI =          "https://doi.org/10.1007/3-540-11157-3",
  ISBN =         "0-387-11157-3 (New York), 3-540-11157-3 (Berlin)",
  ISBN-13 =      "978-0-387-11157-5 (New York), 978-3-540-11157-3
                 (Berlin)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA9.58 .A43 1981",
  MRclass =      "68-06",
  MRnumber =     "83e:68003",
  bibdate =      "Fri Apr 12 07:14:47 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
                 http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs.bib",
  note =         "The symposium was organized by the Academy of Sciences
                 of the Uzbek S.S.R.",
  series =       ser-LNCS,
  URL =          "https://link.springer.com/book/10.1007/3-540-11157-3",
  acknowledgement = ack-nhfb,
  author-dates = "Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
                 March 2015)",
  keywords =     "algorithms --- congresses; programming (electronic
                 computers) --- congresses",
  tableofcontents = "Al-khorezmi his background, his personality his
                 work and his influence / Heinz Zemanek / 1--81 \\
                 Algorithms in modern mathematics and computer science /
                 Donald E. Knuth / 82--99 \\
                 What are the gains of the theory of algorithms / V. A.
                 Uspensky, A. L. Semenov / 100--234 \\
                 On inductive synthesis of programs / J. M. Barzdin /
                 235--254 \\
                 Expanding constructive universes / Yu. I. Manin /
                 255--260 \\
                 The logical approach to programming / N. N. Nepeivoda /
                 261--289 \\
                 The structural synthesis of programs / E. H. Tyugu /
                 290--303 \\
                 On finding invariant relations of program / A. A.
                 Letichevsky / 304--314 \\
                 What can we do with problems of exhaustive search? / G.
                 M. Adel'son-Vel'skii, A. O. Slisenko / 315--342 \\
                 The algorithmic complexity of linear algebras / A.
                 Alder, V. Strassen / 343--354 \\
                 Algorithms in various contexts / Stephen C. Kleene /
                 355--360 \\
                 Role of a notion of algorithm in the arithmetic
                 language semantics / N. A. Shanin / 361--389 \\
                 From logicism to proceduralism (an autobiographical
                 account) / G. S. Tseytin / 390--396 \\
                 Abstract computability on algebraic structures / A. P.
                 Ershov / 397--420 \\
                 Algorithms and algebra / F. L. Bauer / 421--429 \\
                 On formal transformations of algorithms / V. M.
                 Glushkov / 430--440 \\
                 What should we do having proved a decision problem to
                 be unsolvable? / Yuri Matijasevi / 441--443 \\
                 On the experience of riding two horses in programming /
                 A. Buda / 444--448 \\
                 Church--Rosser transformers and decidable propertis of
                 tree processing / A. V. Anisimov / 449--457 \\
                 Supplement 1 Summaries of oral presentations / /
                 458--465 \\
                 Supplement 2 Technical program / / 466--469 \\
                 Supplement 3 Publications on the symposium / / 470--473
                 \\
                 List of participants / / 474--476 \\
                 Supplement 5 Photoillustrations / / 477--487",
}

@Book{Siekmann:1983:AR,
  editor =       "J{\"o}rg H. Siekmann and Graham Wrightson",
  booktitle =    "Automation of reasoning",
  title =        "Automation of reasoning",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  year =         "1983",
  ISBN =         "0-387-12043-2 (U.S.: v. 1), 0-387-12044-0 (U.S.: v.
                 2)",
  ISBN-13 =      "978-0-387-12043-0 (U.S.: v. 1), 978-0-387-12044-7
                 (U.S.: v. 2)",
  LCCN =         "QA76.9.A96 A94 1983",
  bibdate =      "Sat Jul 03 08:47:10 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  note =         "Two volumes.",
  acknowledgement = ack-nhfb,
}

@Proceedings{Alty:1991:IAA,
  editor =       "James L. Alty and Leonid I. Mikulich",
  booktitle =    "Industrial applications of artificial intelligence:
                 proceedings of the IFIP TC5/WG5.3 International
                 Conference on Artificial Intelligence in CIM,
                 Leningrad, USSR, 16--18 April 1990",
  title =        "Industrial applications of artificial intelligence:
                 proceedings of the {IFIP} {TC5}/{WG5}.3 International
                 Conference on Artificial Intelligence in {CIM},
                 Leningrad, {USSR}, 16--18 April 1990",
  publisher =    pub-NH,
  address =      pub-NH:adr,
  pages =        "xi + 451",
  year =         "1991",
  ISBN =         "0-444-88981-7",
  ISBN-13 =      "978-0-444-88981-2",
  LCCN =         "Q334 .I43 1990",
  bibdate =      "Sat Jul 03 08:51:14 1999",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Wiedermann:1995:MFC,
  editor =       "J. Wiedermann and Petr Hajek",
  booktitle =    "Mathematical foundations of computer science 1995:
                 20th International Symposium, {MFCS} '95, Prague, Czech
                 Republic, August 28--September 1, 1995: proceedings",
  title =        "Mathematical foundations of computer science 1995:
                 20th International Symposium, {MFCS} '95, Prague, Czech
                 Republic, August 28--September 1, 1995: proceedings",
  volume =       "969",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xiii + 588",
  year =         "1995",
  CODEN =        "LNCSD9",
  ISBN =         "3-540-60246-1 (Berlin)",
  ISBN-13 =      "978-3-540-60246-0 (Berlin)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA76.9.M35 I54 1995",
  bibdate =      "Fri Apr 12 07:15:03 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "computer science --- mathematics --- congresses",
  xxvolume =     "4005207357",
}

@Proceedings{Bidoit:1997:TTP,
  editor =       "M. Bidoit and M. Dauchet",
  booktitle =    "{TAPSOFT} '97: theory and practice of software
                 development: 7th International Joint Conference
                 {CAAP\slash FASE}, Lille, France, April 14--18, 1997:
                 proceedings",
  title =        "{TAPSOFT} '97: theory and practice of software
                 development: 7th International Joint Conference
                 {CAAP\slash FASE}, Lille, France, April 14--18, 1997:
                 proceedings",
  volume =       "1214",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xvi + 884",
  year =         "1997",
  CODEN =        "LNCSD9",
  ISBN =         "3-540-62781-2",
  ISBN-13 =      "978-3-540-62781-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA267.A1 L43 no.1214",
  bibdate =      "Mon Nov 24 09:10:16 1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "computer software --- development --- congresses",
}

@Proceedings{Mora:1997:AAA,
  editor =       "Teo Mora and H. F. Mattson",
  booktitle =    "Applied algebra, algebraic algorithms, and
                 error-correcting codes: 12th international symposium,
                 {AAECC-12}, Toulouse, France, June 23--27, 1997:
                 proceedings",
  title =        "Applied algebra, algebraic algorithms, and
                 error-correcting codes: 12th international symposium,
                 {AAECC-12}, Toulouse, France, June 23--27, 1997:
                 proceedings",
  volume =       "1255",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "x + 352",
  year =         "1997",
  CODEN =        "LNCSD9",
  ISBN =         "3-540-63163-1 (paperback)",
  ISBN-13 =      "978-3-540-63163-7 (paperback)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA268 .A35 1997",
  bibdate =      "Mon Aug 25 09:50:07 MDT 1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "algebra --- data processing --- congresses; algorithms
                 --- congresses; error-correcting codes (information
                 theory) --- congresses",
}

@Proceedings{Gloor:1998:IPI,
  editor =       "Oliver Gloor",
  booktitle =    "{ISSAC 98}: Proceedings of the 1998 International
                 Symposium on Symbolic and Algebraic Computation, August
                 13--15, 1998, University of Rostock, Germany",
  title =        "{ISSAC 98}: Proceedings of the 1998 International
                 Symposium on Symbolic and Algebraic Computation, August
                 13--15, 1998, University of Rostock, Germany",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xxii + 327",
  year =         "1998",
  ISBN =         "1-58113-002-3",
  ISBN-13 =      "978-1-58113-002-7",
  LCCN =         "",
  bibdate =      "Wed Sep 16 17:13:58 1998",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/s/slissenko-anatol.bib",
  acknowledgement = ack-nhfb,
}