@String{inst-UNIV-PARIS-12-INFO = "University Paris 12, Department of
Informatics"}
@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"}
@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."}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@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,
}
@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,
}
