04272oam 2200673 450 99646602600331620210520115848.01-280-80485-897866108048563-540-44881-010.1007/3-540-44881-0(CKB)1000000000212057(EBL)3036552(SSID)ssj0000308420(PQKBManifestationID)11225426(PQKBTitleCode)TC0000308420(PQKBWorkID)10258963(PQKB)10058192(DE-He213)978-3-540-44881-5(MiAaPQ)EBC3036552(MiAaPQ)EBC6413226(MiAaPQ)EBC6413215(Au-PeEL)EBL6413226(OCoLC)166467953(PPN)15521408X(EXLCZ)99100000000021205720210520d2003 uy 0engur|n|---|||||txtccrRewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings /edited by Robert Nieuwenhuis1st ed. 2003.Berlin, Germany ;New York, New York :Springer,[2003]1 online resource (526 p.)Lecture Notes in Computer Science,0302-9743 ;2706Description based upon print version of record.3-540-40254-3 Includes bibliographical references and index.Invited Talk -- Symbolic Systems Biology -- Confluence as a Cut Elimination Property -- Associative-Commutative Rewriting on Large Terms -- A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms -- Efficient Reductions with Director Strings -- Rewriting Logic and Probabilities -- The Maude 2.0 System -- Diagrams for Meaning Preservation -- Expression Reduction Systems with Patterns -- Residuals in Higher-Order Rewriting -- Rewriting UNITY -- New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols -- An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation -- Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties -- Rule-Based Analysis of Dimensional Safety -- Invited Talk -- Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems -- On the Complexity of Higher-Order Matching in the Linear ?-Calculus -- XML Schema, Tree Logic and Sheaves Automata -- Size-Change Termination for Term Rewriting -- Monotonic AC-Compatible Semantic Path Orderings -- Relating Derivation Lengths with the Slow-Growing Hierarchy Directly -- Tsukuba Termination Tool -- Liveness in Rewriting -- Validation of the JavaCard Platform with Implicit Induction Techniques -- “Term Partition” for Mathematical Induction -- Equational Prover of Theorema -- Termination of Simply Typed Term Rewriting by Translation and Labelling -- Rewriting Modulo in Deduction Modulo -- Termination of String Rewriting Rules That Have One Pair of Overlaps -- Environments for Term Rewriting Engines for Free! -- Joint RTA-TLCA Invited Talk -- A Logical Algorithm for ML Type Inference -- A Rewriting Alternative to Reidemeister-Schreier -- Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) -- Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism -- Testing Extended Regular Language Membership Incrementally by Rewriting.Lecture Notes in Computer Science,0302-9743 ;2706RTA 2003Rewriting systems (Computer science)CongressesComputer programmingCongressesAlgorithmsCongressesRewriting systems (Computer science)Computer programmingAlgorithms005.131Nieuwenhuis RobertInternational Conference on Rewriting Techniques and ApplicationsMiAaPQMiAaPQUtOrBLWBOOK996466026003316Rewriting Techniques and Applications774195UNISA01992nam0 22004573i 450 SBL036258920231121125822.0IT725792 20020506d1971 ||||0itac50 baitaengit|||| |||c|z01i xxxe z01nStoria della linguisticaRobert H. RobinsBolognaIl mulinoc1971314 p.22 cm˜La œnuova scienza. Serie di linguistica e critica letterariaEdizione italiana a cura di Edgardo T. SaronneTraduzione di Giacomo Prampolini.001CFI00004032001 ˜La œnuova scienza. Serie di linguistica e critica letteraria˜A œshort history of linguistics.BVE0007076CFIV11302922366LinguisticaStoriaFIRRMLC000563I410.921Robins, Robert HenryCFIV113029070172594Saronne, Edgardo T.CFIV097345340Prampolini, GiacomoRAVV033977730Saronne, Edgardo TitoCFIV217866Saronne, Edgardo T.Saronne, E. T.SBNV004760Saronne, Edgardo T.Robins, R. H.BVEV265445Robins, Robert HenryITIT-0120020506IT-RM0289 IT-RM0281 IT-FR0017 IT-RM0526 Biblioteca Statale A. BaldiniRM0289 BIBLIOTECA VALLICELLIANARM0281 Biblioteca umanistica Giorgio ApreaFR0017 NBiblioteca dell’Istituto Centrale per il Patrimonio ImmaterialeRM0526 SBL0362589Biblioteca umanistica Giorgio Aprea 52MAG 5/977 52MAG0000032975 VMN RS A 2017100320171003 04 08 52 58Short history of linguistics22366UNICAS