05056nam 22007215 450 99646565000331620200630053213.03-540-46799-810.1007/3-540-55251-0(CKB)1000000000233788(SSID)ssj0000321719(PQKBManifestationID)11937834(PQKBTitleCode)TC0000321719(PQKBWorkID)10280051(PQKB)10868125(DE-He213)978-3-540-46799-1(PPN)155167979(EXLCZ)99100000000023378820121227d1992 u| 0engurnn|008mamaatxtccrCAAP '92[electronic resource] 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings /edited by Jean-Claude Raoult1st ed. 1992.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1992.1 online resource (IX, 491 p.) Lecture Notes in Computer Science,0302-9743 ;581Bibliographic Level Mode of Issuance: Monograph3-540-55251-0 A constructive valuation interpretation for classical logic and its use in witness extraction -- Varieties of increasing trees -- Origin functions in ?-calculus and term rewriting systems -- An algebraic approach to the interpretation of recursive types -- Decidability of reachability and disjoint union of term rewriting systems -- A complete type inference algorithm for simple intersection types -- Monadic second-order definable graph transductions -- CTL* and ECTL* as fragments of the modal ?-calculus -- Power domains supporting recursion and failure -- Parallel contraction of fibonacci trees and prefix computations on a family of interconnection topologies -- Must preorder in non-deterministic untyped ?-calculus -- A programming language for deriving hypergraphs -- Graph grammars as context-dependent rewriting systems: A partial ordering semantics -- Empty stack Pushdown ?-tree automata -- Modulo counting quantifiers over finite trees -- Finite tree automata with cost functions -- Partial type assignment in left linear applicative term rewriting systems -- A linear algorithm for solving fixed-point equations on transition systems -- Beyond conditional equations.This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume.Lecture Notes in Computer Science,0302-9743 ;581Computer programmingSoftware engineeringComputersAlgorithmsComputer logicProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer programming.Software engineering.Computers.Algorithms.Computer logic.Programming Techniques.Software Engineering/Programming and Operating Systems.Theory of Computation.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.511/.5Raoult Jean-Claudeedthttp://id.loc.gov/vocabulary/relators/edtColloquium on Trees in Algebra and ProgrammingBOOK996465650003316CAAP '922830285UNISA00908nam a2200217Ia 4500991004376633407536250411s9999||||xx |||||||||||||| ||und||9788818038002 355.4Frontinus, Sextus Iulius 67902Stratagemmi /Frontino ; saggio introduttivo, nuova traduzione e commento a cura di Immacolata Eramo ; premessa di Giusto TrainaSantarcangelo di Romagna :RL,2022CXXIII, 387 p. ;20 cmClassici greci e latiniArte militareOpere anteriori al 1900Eramo, ImmacolataTraina, Giusto2001000209965LE001 354.4 FRO24LE001N-20124LE001VM1Loan2025/01/20LE001 B.C. 002, 20/01/2025 - Fattura n. 132 del 09/01/2025 : Leggere Srl - Importo totale: 2853.97991004376633407536Stratagemmi1357987UNISALENTO