01013nam--2200349---450-99000345043020331620101006140233.0000345043USA01000345043(ALEPH)000345043USA0100034504320101006d1984----km-y0itay50------baspaIT||||||||001yyAnalizador morfosintactico de textos en lengua españolaD. Ratti ... [et al.]PisaGiardini editori e stampatori[1984]55 p.23 cm20012001001-------2001Lingua spagnolaGrammaticaBNCF465RATTI,DanielaITsalbcISBD990003450430203316VI.5.D. 4071069 L.G.VI.5.D.00282910BKUMAMARTUCCIEL9020101006USA011402Analizador morfosintactico de textos en lengua española1108585UNISA04274oam 2200673 450 991076847180332120210520115848.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 ApplicationsMiAaPQMiAaPQUtOrBLWBOOK9910768471803321Rewriting Techniques and Applications774195UNINA00943nas 2200349 c 450 991089637700332120251012104555.0(DE-599)ZDB3195433-9(DE-101)134057876X(CKB)5590000001371340(EXLCZ)99559000000137134020240830a20209999 |y |gerur|||||||||||txtrdacontentcrdamediacrrdacarrierDialogZeitschrift der Wismuth GmbHHerausgeber: Geschäftsführung der Wismuth GmbHChemnitzWismuth GmbH[2020?]-Online-RessourceGesehen am 30.08.2024Dialog Zeitschriftgnd-content330Wismut GmbHisb0027DE-1019999JOURNAL9910896377003321Dialog937010UNINA