| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465416803316 |
|
|
Titolo |
Rewriting Techniques and Applications [[electronic resource] ] : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings / / edited by Ronald V. Book |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1991.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 462 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 488 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Applied mathematics |
Engineering mathematics |
Mathematical logic |
Computer science—Mathematics |
Programming languages (Electronic computers) |
Algorithms |
Theory of Computation |
Applications of Mathematics |
Mathematical Logic and Formal Languages |
Symbolic and Algebraic Manipulation |
Programming Languages, Compilers, Interpreters |
Algorithm Analysis and Problem Complexity |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Transfinite reductions in orthogonal term rewriting systems -- Redex capturing in term graph rewriting (concise version) -- Rewriting, and equational unification: the higher-order cases -- Adding algebraic rewriting to the untyped lambda calculus (extended abstract) -- Incremental termination proofs and the length of derivations -- Time bounded rewrite systems and termination proofs by generalized embedding -- Detecting redundant narrowing derivations by the LSE-SL reducibility test -- Unification, weak unification, upper bound, lower |
|
|
|
|
|
|
|
|
|
|
|
bound, and generalization problems -- AC unification through order-sorted AC1 unification -- Narrowing directed by a graph of terms -- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification -- Undecidable properties of syntactic theories -- Goal directed strategies for paramodulation -- Minimal solutions of linear diophantine systems : bounds and algorithms -- Proofs in parameterized specifications -- Completeness of combinations of constructor systems -- Modular higher-order E-unification -- On confluence for weakly normalizing systems -- Program transformation and rewriting -- An efficient representation of arithmetic for term rewriting -- Query optimization using rewrite rules -- Boolean algebra admits no convergent term rewriting system -- Decidability of confluence and termination of monadic term rewriting systems -- Bottom-up tree pushdown automata and rewrite systems -- On relationship between term rewriting systems and regular tree languages -- The equivalence of boundary and confluent graph grammars on graph languages of bounded degree -- Left-to-right tree pattern matching -- Incremental techniques for efficient normalization of nonlinear rewrite systems -- On fairness of completion-based theorem proving strategies -- Proving equational and inductive theorems by completion and embedding techniques -- Divergence phenomena during completion -- Simulating Buchberger's algorithm by Knuth-Bendix completion -- On proving properties of completion strategies -- On ground AC-completion -- Any ground associative-commutative theory has a finite canonical system -- A narrowing-based theorem prover -- ANIGRAF: An interactive system for the animation of graph rewriting systems with priorities -- Emmy: A refutational theorem prover for first-order logic with equations -- The tecton proof system -- Open problems in rewriting. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910403765703321 |
|
|
Autore |
Brito Jorge de |
|
|
Titolo |
Expert Knowledge-based Inspection Systems : Inspection, Diagnosis, and Repair of the Building Envelope / / by Jorge de Brito, Clara Pereira, José D. Silvestre, Inês Flores-Colen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (493 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Buildings - Repair and reconstruction |
Buildings - Maintenance |
Building materials |
Buildings - Design and construction |
Building construction |
Building Repair and Maintenance |
Building Materials |
Building Construction and Design |
Solid Construction |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Part 1: Buildings management -- Part 2: Technology -- Part 3: Pathology -- Part 4: Diagnosis methods -- Part 5: Repair techniques -- Part 6: Elements to support the inspection procedure -- Part 7: Case studies -- Part 8: The way forward. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book provides a novel approach to building pathology in current buildings. Drawing on the available literature, hands-on experience and fieldwork inspections, it presents a systematic perspective on the pathology of the building envelope. The book addresses natural stone claddings, adhesive ceramic tiling, renders, painted surfaces, External Thermal Insulation Composite Systems (ETICS), architectural concrete surfaces, windows and doors framing, and claddings for pitched and flat roofs. In addition to highlighting selected materials and construction elements, the book proposes a global classification |
|
|
|
|
|
|
|
|
|
|
system for defects and their probable causes, together with in situ diagnosis methods and repair techniques. It also identifies the relationships between defects and causes, diagnosis methods and repair techniques, and the interdependence between different defects, presenting these relations in the form of correlation matrices. Support files with detailed information and aninspection form are also provided. Selected case studies are presented to illustrate the value of a guidance system in fieldwork. Given its scope, the book offers a valuable guide, particularly for researchers, building inspectors, civil engineers, architects and maintenance planners. |
|
|
|
|
|
| |