AAECC AI AII AINFA AMM AOC Acad Adel'son Adelson Akademii Aleksandrovich Algorithmical Alty Anatol Autom Automation Av BIP Beauquier Becvar BibNet BibTeX Bidoit Burago C CAAP CCS CFG CFM CIM CIS CMC CML CNS CODEN COMP CPO CPT CRC CRETEIL Calude D DAKNEQ DCV DOKL DPS DSM DVR Dani Dauchet Davydov Deducibility Dima Doklady Dresden Duplexes E ESM Ershov F FAP FASE FAX FCT FRT FSP FTS Fri G Gen Gloor Gorodetsky Grigoriev H Hajek Heintz IAA ICM IFIP IFPLAT INFORMATIQUES INST IPI ISBN ISIJBC ISO ISSAC ISSN Iasi InCollection InProceedings Informatics Informatika Instituta Int Internet J JMTSEW JOSMAR JSOMAR Jozef Jul Krick L LCCN LCD LECT LENINGR LETT LNCS LNCSD LOMI LPD LaTeX Lavrov Lebedev Lenina Leningradskogo Lille Limoges M MCB MCR MDT MFC MFCS MIQ MMI MRclass MRnumber MST Mashinostroyeniye Maslov Matem Matematiceskogo Matematicheskogo MathSciNet Matiyasevich Mikroprotsessornyye Mikulich Mon Mora Multihead N NAS NAUC NAUK Nauchnykh Nauk Nauka Netlib O ORDENA OTD Olomouc Orevkov Orlovsky P PCD PES PETERSBG PMC PROC Petr Polytime Proc Publ Q QA R RCP RSP Rabinovich Rostock Rougemont S SEMIN SMR SOV SPL SPR SQA SSR SSSR STA STEKLOV SURV SV SYM Seminarov Shanin Siekmann Slissenko Solern Solovay's Sredstva Steklov Steklova Symp Systemy T TAPSOFT TC TCSCDI THEOR TMISAF TPA TSI TTP TTSIDJ TechReport Teo Thu Toulouse Tseitin U UCS UMANA UNIV URL USPEHI Une Universit Urgench Uspekhi Uzbek V VRT VRY Vasilyev Vel'ski Velski WCW WG Waszawa Wiedermann Winkowski Wrightson Yu Yuryevich Yusupov ZNSLAF Zakopane Zapiski ack acknowledgement adr anatol aug bibdate bibmods bibnames bibnet bibsource booktitle cas cgi chemins codetable com conflocation conftitle corpsource crossref d dans de docstring e edu email ematiques epartement erieure fjournal fr ftp gej htm html http im imeni inf informatiques inst instituta j jucs jun l'Universit lacl le ltx matematicheskikh naucnyh nauk netlib ng nhfb o ordena org otdelenija p paris pdf polygonaux pubcountry rg s sciencedirect seminarov sep ser showtags slissenko tcs th tocs twocolumn univ utah v wc www x xiii xvi xxii xxvolume