%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Sun Oct 11 10:25:28 MDT 2020 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$1/\epsilon$}{% Burago:2004:ASP% }. \NAMECITE{$^n$}{% Heintz:1993:BIP% }. \NAMECITE{$R$}{% Heintz:1993:BIP% }. \NAMECITE{{12}}{% Mora:1997:AAA% }. \NAMECITE{12th}{% Mora:1997:AAA% }. \NAMECITE{20th}{% Wiedermann:1995:MFC% }. \NAMECITE{7th}{% Bidoit:1997:TTP,% Winkowski:1978:MFC% }. \NAMECITE{8th}{% Becvar:1979:MFC% }. \NAMECITE{'95}{% Wiedermann:1995:MFC% }. \NAMECITE{'97}{% Bidoit:1997:TTP% }. \NAMECITE{{98}}{% Gloor:1998:IPI% }. \NAMECITE{{AAECC}}{% Mora:1997:AAA% }. \NAMECITE{{AAECC-12}}{% Mora:1997:AAA% }. \NAMECITE{Abstract}{% Slissenko:2008:STA% }. \NAMECITE{Address}{% Slissenko:1978:MCB% }. \NAMECITE{Aleksandrovich}{% Maslov:1980:NAS,% Matiyasevich:1990:NAS% }. \NAMECITE{algebra}{% Mora:1997:AAA% }. \NAMECITE{Algebraic}{% Gloor:1998:IPI,% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML,% Heintz:1994:FSP,% Mora:1997:AAA% }. \NAMECITE{Algorithm}{% Grigoriev:1998:PAS,% Shanin:1965:AMS,% Shanin:1969:CAD,% Shanin:1983:AMS,% Shanin:1983:CAD% }. \NAMECITE{Algorithmic}{% Slissenko:1963:SAP,% Slissenko:1964:SAP,% Slissenko:1966:SAP% }. \NAMECITE{Algorithmical}{% Slissenko:1989:TPA% }. \NAMECITE{Algorithms}{% Beauquier:1996:RCP,% Beauquier:1997:RCP,% Beauquier:1997:SAC,% Cohen:2000:VRT,% Ershov:1981:AMM,% Slissenko:1978:FAP,% Slissenko:1984:LCD,% Mora:1997:AAA% }. \NAMECITE{amidst}{% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML% }. \NAMECITE{Analysis}{% Slissenko:1989:TPA% }. \NAMECITE{Anniversary}{% Maslov:1980:NAS% }. \NAMECITE{Application}{% Gorodetsky:1989:MMI% }. \NAMECITE{applications}{% Alty:1991:IAA% }. \NAMECITE{Applied}{% Mora:1997:AAA% }. \NAMECITE{Approach}{% Slissenko:1978:FAP% }. \NAMECITE{Approximating}{% Burago:2004:ASP% }. \NAMECITE{Approximation}{% Slissenko:1970:SQA% }. \NAMECITE{April}{% Alty:1991:IAA,% Bidoit:1997:TTP% }. \NAMECITE{Arithmetical}{% Slissenko:1963:SAP,% Slissenko:1964:SAP,% Slissenko:1967:AOC% }. \NAMECITE{Artificial}{% Orlovsky:1983:AII,% Alty:1991:IAA% }. \NAMECITE{August}{% Gloor:1998:IPI,% Wiedermann:1995:MFC% }. \NAMECITE{Automata}{% Beauquier:1998:DVR,% Beauquier:2002:DVR% }. \NAMECITE{Automation}{% Siekmann:1983:AR% }. \NAMECITE{Based}{% Slissenko:1978:MCB% }. \NAMECITE{Basis}{% Shanin:1969:CAD,% Shanin:1983:CAD% }. \NAMECITE{Birthday}{% Matiyasevich:1990:NAS% }. \NAMECITE{borne}{% Heintz:1993:BIP% }. \NAMECITE{{CAAP}}{% Bidoit:1997:TTP% }. \NAMECITE{{CAAP/FASE}}{% Bidoit:1997:TTP% }. \NAMECITE{Calculus}{% Shanin:1965:AMS,% Shanin:1983:AMS% }. \NAMECITE{Can}{% Adelson-Velski:1981:WCW% }. \NAMECITE{Certain}{% Slissenko:1967:AOC% }. \NAMECITE{Checking}{% Beauquier:1996:PMC,% Beauquier:1996:RCP,% Beauquier:1997:RCP,% Beauquier:1998:PMC,% Beauquier:2002:LPD,% Slissenko:2008:STA% }. \NAMECITE{chemins}{% Heintz:1993:BIP% }. \NAMECITE{{CIM}}{% Alty:1991:IAA% }. \NAMECITE{Class}{% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML% }. \NAMECITE{Classes}{% Beauquier:1999:DCV% }. \NAMECITE{codes}{% Mora:1997:AAA% }. \NAMECITE{Complexity}{% Beauquier:1995:CFM,% Gorodetsky:1989:PCD,% Slissenko:1979:CCS,% Slissenko:1981:CPT,% Slissenko:1998:SPL,% Burago:1996:CPO% }. \NAMECITE{Complexly}{% Slissenko:1973:PES% }. \NAMECITE{Computation}{% Beauquier:1998:PMC,% Gloor:1998:IPI,% Slissenko:1981:CPT% }. \NAMECITE{Computational}{% Slissenko:1966:SAP,% Slissenko:1979:CCS% }. \NAMECITE{Computations}{% Slissenko:1978:MCB% }. \NAMECITE{Computer}{% Gorodetsky:1989:MMI,% Shanin:1969:CAD,% Shanin:1983:CAD,% Slissenko:1993:VRY,% Becvar:1979:MFC,% Ershov:1981:AMM,% Wiedermann:1995:MFC,% Winkowski:1978:MFC% }. \NAMECITE{Computing}{% Grigoriev:1997:CML,% Grigoriev:1999:CML% }. \NAMECITE{Concerning}{% Slissenko:1963:SAP,% Slissenko:1964:SAP% }. \NAMECITE{Conference}{% Alty:1991:IAA,% Bidoit:1997:TTP% }. \NAMECITE{Considerations}{% Slissenko:1984:LCD% }. \NAMECITE{Construction}{% Slissenko:1967:CMC,% Heintz:1993:BIP% }. \NAMECITE{Constructive}{% Slissenko:1964:CNS,% Slissenko:1964:END,% Slissenko:1967:CMC,% Slissenko:1967:MCR% }. \NAMECITE{Containing}{% Slissenko:1973:PES% }. \NAMECITE{Context}{% Slissenko:1982:CFG,% Slissenko:1992:DSM% }. \NAMECITE{Context-Free}{% Slissenko:1982:CFG,% Slissenko:1992:DSM% }. \NAMECITE{Continuity}{% Slissenko:1967:CMC,% Slissenko:1967:MCR,% Slissenko:1970:SQA% }. \NAMECITE{Continuous}{% Beauquier:1997:SAC,% Slissenko:1964:END% }. \NAMECITE{correcting}{% Mora:1997:AAA% }. \NAMECITE{Crossing}{% Beauquier:1996:RCP,% Beauquier:1997:RCP% }. \NAMECITE{Curriculum}{% Lavrov:1985:CIS% }. \NAMECITE{Czech}{% Wiedermann:1995:MFC% }. \NAMECITE{Czechoslovakia}{% Becvar:1979:MFC% }. \NAMECITE{dans}{% Heintz:1993:BIP% }. \NAMECITE{Data}{% Slissenko:1978:SMR% }. \NAMECITE{Decidable}{% Beauquier:1998:DVR,% Beauquier:1999:DCV,% Beauquier:2002:DVR,% Beauquier:2002:LPD% }. \NAMECITE{Decision}{% Beauquier:1995:CFM,% Burago:1996:CPO% }. \NAMECITE{Decomposition}{% Slissenko:1992:DSM% }. \NAMECITE{Deducibility}{% Shanin:1969:CAD,% Shanin:1983:CAD% }. \NAMECITE{Deducible}{% Slissenko:1973:PES% }. \NAMECITE{Deduction}{% Shanin:1965:AMS,% Shanin:1983:AMS% }. \NAMECITE{Describing}{% Slissenko:1982:CFG% }. \NAMECITE{Design}{% Gorodetsky:1989:MMI,% Gorodetsky:1989:PCD% }. \NAMECITE{Detection}{% Slissenko:1983:DPS% }. \NAMECITE{Determination}{% Shanin:1969:CAD,% Shanin:1983:CAD% }. \NAMECITE{Development}{% Slissenko:1991:TEE,% Bidoit:1997:TTP% }. \NAMECITE{Devising}{% Slissenko:1984:LCD% }. \NAMECITE{Diminishing}{% Slissenko:1992:DSM% }. \NAMECITE{Discontinuous}{% Slissenko:1964:END% }. \NAMECITE{Distributed}{% Cohen:2000:VRT% }. \NAMECITE{Do}{% Adelson-Velski:1981:WCW% }. \NAMECITE{doubly}{% Burago:2004:ASP% }. \NAMECITE{Duplexes}{% Slissenko:1963:SAP,% Slissenko:1964:SAP,% Slissenko:1967:AOC% }. \NAMECITE{Effective}{% Slissenko:1984:LCD% }. \NAMECITE{Enumerable}{% Slissenko:1973:PES% }. \NAMECITE{Environment}{% Slissenko:1991:TEE% }. \NAMECITE{error}{% Mora:1997:AAA% }. \NAMECITE{error-correcting}{% Mora:1997:AAA% }. \NAMECITE{Example}{% Slissenko:1964:END% }. \NAMECITE{Exhaustive}{% Adelson-Velski:1981:WCW% }. \NAMECITE{Expert}{% Gorodetsky:1989:ESM,% Gorodetsky:1989:PCD,% Slissenko:1991:TEE% }. \NAMECITE{{FASE}}{% Bidoit:1997:TTP% }. \NAMECITE{fault}{% Slissenko:1993:FTS% }. \NAMECITE{Finding}{% Heintz:1994:FSP,% Slissenko:1980:FRT% }. \NAMECITE{Finite}{% Beauquier:1995:CFM,% Slissenko:1978:FAP% }. \NAMECITE{First}{% Beauquier:1998:DVR,% Beauquier:2002:DVR% }. \NAMECITE{Former}{% Slissenko:1993:VRY% }. \NAMECITE{Formulas}{% Slissenko:1973:PES% }. \NAMECITE{foundations}{% Becvar:1979:MFC,% Wiedermann:1995:MFC,% Winkowski:1978:MFC% }. \NAMECITE{France}{% Bidoit:1997:TTP,% Mora:1997:AAA% }. \NAMECITE{Free}{% Slissenko:1982:CFG,% Slissenko:1992:DSM% }. \NAMECITE{Functions}{% Slissenko:1967:CMC,% Slissenko:1967:MCR% }. \NAMECITE{Further}{% Slissenko:1998:SPL% }. \NAMECITE{Germany}{% Gloor:1998:IPI% }. \NAMECITE{Grammars}{% Slissenko:1982:CFG% }. \NAMECITE{Graph}{% Slissenko:1979:CCS% }. \NAMECITE{Hard}{% Slissenko:1982:CFG% }. \NAMECITE{High}{% Beauquier:1996:RCP,% Beauquier:1997:RCP% }. \NAMECITE{High-Level}{% Beauquier:1996:RCP,% Beauquier:1997:RCP% }. \NAMECITE{Homotopy}{% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML% }. \NAMECITE{Identification}{% Slissenko:1979:CCS% }. \NAMECITE{{IFIP}}{% Alty:1991:IAA% }. \NAMECITE{Increasing}{% Gorodetsky:1989:MMI% }. \NAMECITE{Industrial}{% Alty:1991:IAA,% Orlovsky:1983:AII% }. \NAMECITE{inf\'erieure}{% Heintz:1993:BIP% }. \NAMECITE{Informatics}{% Lavrov:1985:CIS% }. \NAMECITE{Information}{% Slissenko:1991:MIQ% }. \NAMECITE{Input}{% Slissenko:1976:RSP% }. \NAMECITE{Intelligence}{% Orlovsky:1983:AII,% Alty:1991:IAA% }. \NAMECITE{Interface}{% Gorodetsky:1989:MMI% }. \NAMECITE{International}{% Alty:1991:IAA,% Bidoit:1997:TTP,% Gloor:1998:IPI,% Wiedermann:1995:MFC,% Mora:1997:AAA% }. \NAMECITE{Inverse}{% Shanin:1969:CAD,% Shanin:1983:CAD% }. \NAMECITE{{ISSAC}}{% Gloor:1998:IPI% }. \NAMECITE{Joint}{% Bidoit:1997:TTP% }. \NAMECITE{June}{% Mora:1997:AAA% }. \NAMECITE{Knowledge}{% Gorodetsky:1989:MMI,% Slissenko:1989:TPA,% Slissenko:1991:MIQ% }. \NAMECITE{Languages}{% Beauquier:1996:RCP,% Beauquier:1997:RCP% }. \NAMECITE{Leningrad}{% Alty:1991:IAA,% Slissenko:1998:SPL% }. \NAMECITE{Level}{% Beauquier:1996:RCP,% Beauquier:1997:RCP% }. \NAMECITE{Lille}{% Bidoit:1997:TTP% }. \NAMECITE{lines}{% Burago:2004:ASP% }. \NAMECITE{Linguistic}{% Slissenko:1984:LCD% }. \NAMECITE{Link}{% Grigoriev:1997:CML,% Grigoriev:1999:CML% }. \NAMECITE{logarithmic}{% Burago:2004:ASP% }. \NAMECITE{Logic}{% Beauquier:1998:DVR,% Beauquier:1998:PMC,% Beauquier:1999:DCV,% Beauquier:2002:LPD,% Slissenko:1998:SPL,% Slissenko:2008:STA,% Beauquier:2002:DVR% }. \NAMECITE{Logical}{% Shanin:1965:AMS,% Shanin:1983:AMS,% Slissenko:1989:TPA% }. \NAMECITE{Machine}{% Gorodetsky:1989:MMI,% Shanin:1965:AMS,% Shanin:1983:AMS% }. \NAMECITE{Machines}{% Slissenko:1976:RSP,% Slissenko:1981:SPR,% Slissenko:2008:STA% }. \NAMECITE{Man}{% Gorodetsky:1989:MMI% }. \NAMECITE{Man-Machine}{% Gorodetsky:1989:MMI% }. \NAMECITE{{Markov}}{% Beauquier:1995:CFM,% Burago:1996:CPO% }. \NAMECITE{{Maslov}}{% Davydov:1984:SYM% }. \NAMECITE{Matching}{% Slissenko:1978:SMR,% Slissenko:1983:DPS% }. \NAMECITE{Mathematical}{% Becvar:1979:MFC,% Wiedermann:1995:MFC,% Winkowski:1978:MFC% }. \NAMECITE{Mathematics}{% Slissenko:1966:SAP,% Ershov:1981:AMM% }. \NAMECITE{Maximal}{% Slissenko:1967:CMC,% Slissenko:1967:MCR,% Slissenko:1970:SQA% }. \NAMECITE{Measures}{% Slissenko:1991:MIQ% }. \NAMECITE{Memory}{% Beauquier:1995:CFM% }. \NAMECITE{Method}{% Shanin:1969:CAD,% Shanin:1983:CAD,% Slissenko:1992:DSM% }. \NAMECITE{Metric}{% Slissenko:1964:END% }. \NAMECITE{{MFCS}}{% Wiedermann:1995:MFC% }. \NAMECITE{Minimum}{% Grigoriev:1997:CML,% Grigoriev:1999:CML% }. \NAMECITE{Minimum-Link}{% Grigoriev:1997:CML,% Grigoriev:1999:CML% }. \NAMECITE{Model}{% Beauquier:1996:PMC,% Beauquier:1996:RCP,% Beauquier:1997:RCP,% Beauquier:1998:PMC,% Beauquier:2002:LPD,% Slissenko:2008:STA% }. \NAMECITE{Model-Checking}{% Beauquier:1996:RCP,% Beauquier:1997:RCP,% Beauquier:2002:LPD,% Slissenko:2008:STA% }. \NAMECITE{Modeling}{% Gorodetsky:1989:ESM% }. \NAMECITE{Models}{% Slissenko:1978:MCB% }. \NAMECITE{modern}{% Ershov:1981:AMM% }. \NAMECITE{Multihead}{% Slissenko:1976:RSP% }. \NAMECITE{Natural}{% Shanin:1965:AMS,% Shanin:1983:AMS% }. \NAMECITE{{Nikolai}}{% Maslov:1980:NAS,% Matiyasevich:1990:NAS% }. \NAMECITE{Non}{% Slissenko:1964:CNS,% Slissenko:1964:END% }. \NAMECITE{Non-Discontinuous}{% Slissenko:1964:END% }. \NAMECITE{Non-Separable}{% Slissenko:1964:CNS% }. \NAMECITE{Obituary}{% Davydov:1984:SYM% }. \NAMECITE{observed}{% Burago:1996:CPO% }. \NAMECITE{Obstacles}{% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML,% Heintz:1994:FSP% }. \NAMECITE{Olomouc}{% Becvar:1979:MFC% }. \NAMECITE{Operations}{% Slissenko:1963:SAP,% Slissenko:1964:SAP,% Slissenko:1967:AOC% }. \NAMECITE{Operator}{% Slissenko:1964:END% }. \NAMECITE{Optimizing}{% Slissenko:1978:FAP% }. \NAMECITE{Order}{% Beauquier:1998:DVR,% Beauquier:2002:DVR% }. \NAMECITE{Organization}{% Slissenko:1978:MCB% }. \NAMECITE{Palindromes}{% Slissenko:1981:SPR% }. \NAMECITE{partially}{% Burago:1996:CPO% }. \NAMECITE{Path}{% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML,% Burago:2004:ASP% }. \NAMECITE{Paths}{% Heintz:1994:FSP% }. \NAMECITE{Periodicities}{% Slissenko:1980:FRT,% Slissenko:1983:DPS% }. \NAMECITE{Petersburg}{% Slissenko:1998:SPL% }. \NAMECITE{Petersburg/Leningrad}{% Slissenko:1998:SPL% }. \NAMECITE{Plane}{% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML,% Heintz:1994:FSP% }. \NAMECITE{Point}{% Orlovsky:1983:AII% }. \NAMECITE{Poland}{% Winkowski:1978:MFC% }. \NAMECITE{Policies}{% Beauquier:1995:CFM% }. \NAMECITE{polygonaux}{% Heintz:1993:BIP% }. \NAMECITE{Polynomial}{% Slissenko:1982:CFG% }. \NAMECITE{Polynomial-Time}{% Slissenko:1982:CFG% }. \NAMECITE{Polytime}{% Beauquier:1996:PMC,% Beauquier:1998:PMC,% Grigoriev:1998:PAS% }. \NAMECITE{pour}{% Heintz:1993:BIP% }. \NAMECITE{practice}{% Bidoit:1997:TTP% }. \NAMECITE{Prague}{% Wiedermann:1995:MFC% }. \NAMECITE{Predicate}{% Beauquier:1999:DCV,% Slissenko:1976:RSP,% Slissenko:2008:STA% }. \NAMECITE{Probabilistic}{% Beauquier:1996:PMC,% Beauquier:1998:PMC% }. \NAMECITE{Probability}{% Beauquier:2002:LPD% }. \NAMECITE{Problem}{% Beauquier:1996:RCP,% Beauquier:1997:RCP,% Beauquier:1999:DCV,% Slissenko:1978:FAP,% Slissenko:1989:TPA,% Burago:2004:ASP% }. \NAMECITE{Problems}{% Adelson-Velski:1981:WCW,% Gorodetsky:1989:PCD,% Slissenko:1963:SAP,% Slissenko:1964:SAP,% Slissenko:1966:SAP,% Slissenko:1981:CPT,% Slissenko:1982:CFG% }. \NAMECITE{Proceedings}{% Gloor:1998:IPI,% Alty:1991:IAA,% Becvar:1979:MFC,% Bidoit:1997:TTP,% Ershov:1981:AMM,% Mora:1997:AAA,% Wiedermann:1995:MFC,% Winkowski:1978:MFC% }. \NAMECITE{Processes}{% Beauquier:1995:CFM,% Burago:1996:CPO% }. \NAMECITE{Processing}{% Gorodetsky:1989:MMI,% Slissenko:1989:TPA,% Slissenko:1991:MIQ% }. \NAMECITE{Productivity}{% Gorodetsky:1989:MMI% }. \NAMECITE{Programming}{% Lavrov:1985:CIS% }. \NAMECITE{Project}{% Lavrov:1985:CIS% }. \NAMECITE{Proof}{% Slissenko:1981:SPR% }. \NAMECITE{Properties}{% Slissenko:1978:SMR% }. \NAMECITE{Property}{% Slissenko:1973:PES% }. \NAMECITE{Propositional}{% Shanin:1965:AMS,% Shanin:1983:AMS% }. \NAMECITE{Proving}{% Slissenko:1978:FAP% }. \NAMECITE{Purpose}{% Gorodetsky:1989:PCD% }. \NAMECITE{Quality}{% Slissenko:1991:MIQ% }. \NAMECITE{Questions}{% Slissenko:1970:SQA% }. \NAMECITE{Railroad}{% Beauquier:1996:RCP,% Beauquier:1997:RCP% }. \NAMECITE{Real}{% Slissenko:1978:SMR,% Slissenko:1980:FRT,% Slissenko:1981:SPR,% Slissenko:1983:DPS% }. \NAMECITE{Real-Time}{% Slissenko:1978:SMR,% Slissenko:1981:SPR% }. \NAMECITE{reasoning}{% Siekmann:1983:AR% }. \NAMECITE{Recognizability}{% Slissenko:1981:SPR% }. \NAMECITE{Recognizing}{% Slissenko:1976:RSP% }. \NAMECITE{Reducible}{% Beauquier:1998:DVR,% Beauquier:2002:DVR% }. \NAMECITE{Refinements}{% Cohen:2000:VRT% }. \NAMECITE{Regulators}{% Slissenko:1967:CMC,% Slissenko:1967:MCR,% Slissenko:1970:SQA% }. \NAMECITE{Related}{% Slissenko:1966:SAP% }. \NAMECITE{Representation}{% Slissenko:1989:TPA% }. \NAMECITE{Republic}{% Wiedermann:1995:MFC% }. \NAMECITE{Research}{% Slissenko:1993:VRY% }. \NAMECITE{Rostock}{% Gloor:1998:IPI% }. \NAMECITE{Science}{% Slissenko:1993:VRY,% Becvar:1979:MFC,% Ershov:1981:AMM,% Wiedermann:1995:MFC,% Winkowski:1978:MFC% }. \NAMECITE{Search}{% Adelson-Velski:1981:WCW,% Shanin:1965:AMS,% Shanin:1983:AMS,% Slissenko:1992:DSM% }. \NAMECITE{Semantics}{% Beauquier:1996:RCP,% Beauquier:1997:RCP,% Beauquier:1997:SAC% }. \NAMECITE{Semi}{% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML,% Heintz:1994:FSP% }. \NAMECITE{Semi-Algebraic}{% Grigoriev:1997:CML,% Grigoriev:1998:PAS,% Grigoriev:1999:CML,% Heintz:1994:FSP% }. \NAMECITE{Separable}{% Slissenko:1964:CNS% }. \NAMECITE{September}{% Becvar:1979:MFC,% Ershov:1981:AMM,% Wiedermann:1995:MFC,% Winkowski:1978:MFC% }. \NAMECITE{{Sergei}}{% Davydov:1984:SYM% }. \NAMECITE{Sets}{% Slissenko:1967:AOC,% Slissenko:1973:PES% }. \NAMECITE{Seventieth}{% Matiyasevich:1990:NAS% }. \NAMECITE{{Shanin}}{% Maslov:1980:NAS,% Matiyasevich:1990:NAS% }. \NAMECITE{Shortest}{% Grigoriev:1998:PAS,% Heintz:1994:FSP,% Burago:2004:ASP% }. \NAMECITE{Simplified}{% Slissenko:1981:SPR% }. \NAMECITE{Simulation}{% Slissenko:2008:STA% }. \NAMECITE{Sixtieth}{% Maslov:1980:NAS% }. \NAMECITE{skew}{% Burago:2004:ASP% }. \NAMECITE{software}{% Bidoit:1997:TTP% }. \NAMECITE{Some}{% Slissenko:1963:SAP,% Slissenko:1964:SAP,% Slissenko:1966:SAP,% Slissenko:1970:SQA,% Slissenko:1978:SMR% }. \NAMECITE{{Soviet}}{% Slissenko:1993:VRY% }. \NAMECITE{Space}{% Slissenko:1964:END% }. \NAMECITE{Spaces}{% Slissenko:1964:CNS% }. \NAMECITE{Special}{% Gorodetsky:1989:PCD% }. \NAMECITE{Specified}{% Beauquier:1998:DVR,% Beauquier:2002:DVR% }. \NAMECITE{{SSR}}{% Ershov:1981:AMM% }. \NAMECITE{St}{% Slissenko:1998:SPL% }. \NAMECITE{State}{% Slissenko:2008:STA% }. \NAMECITE{Storage}{% Slissenko:1978:MCB% }. \NAMECITE{String}{% Slissenko:1978:SMR,% Slissenko:1979:CCS,% Slissenko:1983:DPS% }. \NAMECITE{String-Matching}{% Slissenko:1978:SMR,% Slissenko:1983:DPS% }. \NAMECITE{Structure}{% Slissenko:1978:SMR,% Slissenko:1989:TPA% }. \NAMECITE{Subclasses}{% Slissenko:1982:CFG% }. \NAMECITE{Symbolic}{% Gloor:1998:IPI% }. \NAMECITE{Symmetry}{% Slissenko:1976:RSP% }. \NAMECITE{Symposium}{% Becvar:1979:MFC,% Gloor:1998:IPI,% Wiedermann:1995:MFC,% Winkowski:1978:MFC,% Mora:1997:AAA% }. \NAMECITE{syntax}{% Slissenko:1993:FTS% }. \NAMECITE{System}{% Lavrov:1985:CIS% }. \NAMECITE{Systems}{% Beauquier:1996:PMC,% Gorodetsky:1989:ESM,% Gorodetsky:1989:MMI,% Gorodetsky:1989:PCD,% Slissenko:1989:TPA,% Slissenko:1991:MIQ,% Slissenko:1991:TEE% }. \NAMECITE{{TAPSOFT}}{% Bidoit:1997:TTP% }. \NAMECITE{{TC5}}{% Alty:1991:IAA% }. \NAMECITE{{TC5}/{WG5}.3}{% Alty:1991:IAA% }. \NAMECITE{Technological}{% Slissenko:1991:TEE% }. \NAMECITE{Their}{% Beauquier:1997:RCP,% Beauquier:1996:RCP% }. \NAMECITE{Theorem}{% Slissenko:1978:FAP% }. \NAMECITE{Theorem-Proving}{% Slissenko:1978:FAP% }. \NAMECITE{Theoretical}{% Slissenko:1993:VRY% }. \NAMECITE{Theory}{% Slissenko:1981:CPT,% Bidoit:1997:TTP% }. \NAMECITE{Time}{% Beauquier:1997:SAC,% Beauquier:1998:DVR,% Slissenko:1978:SMR,% Slissenko:1980:FRT,% Slissenko:1981:SPR,% Slissenko:1982:CFG,% Slissenko:1983:DPS,% Beauquier:2002:DVR,% Burago:2004:ASP% }. \NAMECITE{Timed}{% Beauquier:1996:PMC,% Beauquier:1996:RCP,% Beauquier:1997:RCP,% Beauquier:1998:DVR,% Beauquier:1998:PMC,% Beauquier:1999:DCV,% Cohen:2000:VRT,% Slissenko:2008:STA,% Beauquier:2002:DVR% }. \NAMECITE{tolerance}{% Slissenko:1993:FTS% }. \NAMECITE{Tool}{% Gorodetsky:1989:MMI,% Slissenko:1982:CFG% }. \NAMECITE{Toulouse}{% Mora:1997:AAA% }. \NAMECITE{Tree}{% Beauquier:1998:PMC% }. \NAMECITE{{Turing}}{% Slissenko:1976:RSP,% Slissenko:1981:SPR% }. \NAMECITE{{Union}}{% Slissenko:1993:VRY% }. \NAMECITE{University}{% Gloor:1998:IPI% }. \NAMECITE{Urgench}{% Ershov:1981:AMM% }. \NAMECITE{{USSR}}{% Alty:1991:IAA% }. \NAMECITE{Uzbek}{% Ershov:1981:AMM% }. \NAMECITE{Verification}{% Beauquier:1998:DVR,% Beauquier:1999:DCV,% Cohen:2000:VRT,% Beauquier:2002:DVR% }. \NAMECITE{View}{% Orlovsky:1983:AII,% Slissenko:1993:VRY% }. \NAMECITE{{WG5}.3}{% Alty:1991:IAA% }. \NAMECITE{Word}{% Slissenko:1980:FRT% }. \NAMECITE{Years}{% Slissenko:1993:VRY% }. \NAMECITE{Yuryevich}{% Davydov:1984:SYM% }. \NAMECITE{Zakopane}{% Winkowski:1978:MFC% }.