LEADER 03488oam 2200613I 450 001 9910800162203321 005 20230801231935.0 010 $a1-4987-6018-X 010 $a0-429-10242-9 024 7 $a10.1201/b18400 035 $a(CKB)2670000000618223 035 $a(EBL)3563635 035 $a(SSID)ssj0001542491 035 $a(PQKBManifestationID)16131944 035 $a(PQKBTitleCode)TC0001542491 035 $a(PQKBWorkID)14791919 035 $a(PQKB)11012314 035 $a(MiAaPQ)EBC3563635 035 $a(OCoLC)911047754 035 $a(EXLCZ)992670000000618223 100 $a20180331g20129999 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aCarbohydrate chemistry $eproven synthetic methods /$fedited by Pavol Kovac 210 1$aBoca Raton, FL :$cCRC Press,$d2012-<2014-> 215 $a1 online resource (318 p.) 225 1 $aCarbohydrate Chemistry 300 $aVol. 2 edited by: Gijsbert van der Marel, Jeroen Codee. 311 $a1-4665-8357-6 311 $a1-4665-8358-4 327 $a""Front Cover""; ""Contents""; ""Foreword""; ""Introduction""; ""Editors""; ""Series Editor""; ""Contributors""; ""Chapter 1: Synthesis of Higher-Carbon Sugars Using the Phosphonate Methodology : Part I-Synthesis of Methyl (methyl 2,3,4-Tri-O-benzyl-?-d-glucopyranosid)uronate""; ""Chapter 2: Synthesis of Higher-Carbon Sugars Using the Phosphonate Methodology : Part II-Synthesis of Dimethyl (methyl 2,3,4-Tri-O-benzyl-?-d-gluco-heptopyranos-6-ulos-7-yl)phosphonate and Application for Carbon Chain Elongation"" 327 $a""Chapter 3: Preparation of Methyl, Butyl, Hexyl, and Octyl 2,3,4-Tri-O-acetyl-d-glucopyranuronates Using Microwave Irradiation""""Chapter 4: Metal-Free, Diamine-Mediated, Oxidative Monoamidation of Benzylated Carbohydrates""; ""Chapter 5: Metal-Free Oxidative Lactonization of Carbohydrates Using Molecular Iodine""; ""Chapter 6: Synthesis of Glycosyl Vinyl Sulfones for Bioconjugation""; ""Chapter 7: Synthesis of 5-Deoxy-?-d-galactofuranosides (5-Deoxy-?-l-arabino-hexofuranosides) Starting from d-Galacturonic Acid Using Photoinduced Electron Transfer Deoxygenation"" 327 $a""Chapter 8: Glycal Transformation into 2-Deoxy Glycosides""""Chapter 9: Regioselective Preparation of 4-Deoxy-erythro-hex-4-enopyranoside Enol Ethers through Acetone Elimination""; ""Chapter 10: Stereoselective Reduction Using Sodium Triacetoxyborodeuteride : Synthesis of Methyl 2,3-Di-O-benzyl-?-d-(4-2H)-glucopyranoside""; ""Chapter 11: Selective Anomeric S-Deacetylation Using Aqueous Sodium Methanethiolate""; ""Chapter 12: Glycosylation of Phenolic Acceptors Using Benzoylated Glycosyl Trichloroacetimidate Donors"" 327 $a""Chapter 24: Phenyl 2-O-acetyl-3-O-allyl-4-O-benzyl-1-thio-?-d-glucopyranoside, a Versatile, Orthogonally Protected Building Block"" 410 0$aCarbohydrate Chemistry 606 $aCarbohydrates -- Synthesis 606 $aOrganic Chemistry$2HILCC 606 $aChemistry$2HILCC 606 $aPhysical Sciences & Mathematics$2HILCC 615 4$aCarbohydrates -- Synthesis. 615 7$aOrganic Chemistry 615 7$aChemistry 615 7$aPhysical Sciences & Mathematics 676 $a547.78 701 $aKovac$b Pavol$f1938-$01588028 801 0$bFlBoTFG 801 1$bFlBoTFG 906 $aBOOK 912 $a9910800162203321 996 $aCarbohydrate chemistry$93877007 997 $aUNINA LEADER 05580nam 22008295 450 001 9910484223103321 005 20251226203548.0 010 $a3-642-02348-7 024 7 $a10.1007/978-3-642-02348-4 035 $a(CKB)1000000000753990 035 $a(SSID)ssj0000319845 035 $a(PQKBManifestationID)11272089 035 $a(PQKBTitleCode)TC0000319845 035 $a(PQKBWorkID)10354535 035 $a(PQKB)11775268 035 $a(DE-He213)978-3-642-02348-4 035 $a(MiAaPQ)EBC3064305 035 $a(PPN)136306748 035 $a(BIP)27067733 035 $a(EXLCZ)991000000000753990 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRewriting Techniques and Applications $e20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings /$fedited by Ralf Treinen 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 391 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5595 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-02347-9 327 $aAutomatic Termination -- Loops under Strategies -- Proving Termination of Integer Term Rewriting -- Dependency Pairs and Polynomial Path Orders -- Unique Normalization for Shallow TRS -- The Existential Fragment of the One-Step Parallel Rewriting Theory -- Proving Confluence of Term Rewriting Systems Automatically -- A Proof Theoretic Analysis of Intruder Theories -- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case -- Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions -- YAPA: A Generic Tool for Computing Intruder Knowledge -- Well-Definedness of Streams by Termination -- Modularity of Convergence in Infinitary Rewriting -- A Heterogeneous Pushout Approach to Term-Graph Transformation -- An Explicit Framework for Interaction Nets -- Dual Calculus with Inductive and Coinductive Types -- Comparing Böhm-Like Trees -- The Derivational Complexity Induced by the Dependency Pair Method -- Local Termination -- VMTL?A Modular Termination Laboratory -- Tyrolean Termination Tool 2 -- From Outermost to Context-Sensitive Rewriting -- A Fully Abstract Semantics for Constructor Systems -- The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) -- Unification in the Description Logic -- Unification with Singleton Tree Grammars -- Unification and Narrowing in Maude 2.4. 330 $aThisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, 2009, in Bras´ ?lia, Brazil as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with the Int- national Conference on Typed Lambda Calculi and Applications (TLCA 2009), the International School on Rewriting (ISR 2009), the 4th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2009), the 10th Inter- tional Workshop on Rule-Based Programming (RULE 2009), the 8th Inter- tional Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), the 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009), and the annual meeting of the IFIP Working Group 1.6 on term rewriting. RTA is the major forum for the presentation of research on all aspects of rewriting.PreviousRTAconferenceswereheldinDijon(1985),Bordeaux(1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), R- gers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht(2001),Copenhagen(2002),Valencia(2003),Aachen(2004),Nara(2005), Seattle (2006), Paris (2007), and Hagenberg (2008). 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5595 606 $aMachine theory 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aLogic, Symbolic and mathematical 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aDiscrete Mathematics in Computer Science 606 $aSymbolic and Algebraic Manipulation 606 $aMathematical Logic and Foundations 615 0$aMachine theory. 615 0$aComputer science. 615 0$aCompilers (Computer programs) 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aLogic, Symbolic and mathematical. 615 14$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aMathematical Logic and Foundations. 676 $a005.131 686 $aDAT 554f$2stub 686 $aSS 4800$2rvk 701 $aTreinen$b Ralf$01757719 712 12$aInternational Conference on Rewriting Techniques and Applications 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484223103321 996 $aRewriting techniques and applications$94195664 997 $aUNINA