| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466269303316 |
|
|
Titolo |
Logical Foundations of Computer Science [[electronic resource] ] : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings / / edited by Anil Nerode, Yu.V. Matiyasevich |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1994.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 397 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 813 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Mathematical logic |
Computer logic |
Algorithms |
Theory of Computation |
Mathematical Logic and Foundations |
Mathematical Logic and Formal Languages |
Logics and Meanings of Programs |
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 |
|
Lower bounds for probabilistic space complexity: Communication-automata approach -- On model checking infinite-state systems -- Concurrency problem for Horn fragment of Girard's Linear Logic -- Referential data structures and labeled modal logic -- Yet another correctness criterion for Multiplicative Linear Logic with MIX -- An approach to effective model-checking of real-time Finite-State Machines in mu-calculus -- Allegories of circuits -- The complexity of propositional modal theories and the complexity of consistency of propositional modal theories -- Multiplicative Linear Logic for resource transformation nets -- The parameterized complexity of some problems in logic and linguistics -- Foundations of proof search strategies design in linear logic -- On extreme points of convex compact turing located set -- Application of typed lambda calculi in the |
|
|
|
|
|
|
|
|
|
|
|
untyped lambda calculus -- Classes with pairwise equivalent enumerations -- Strong normalization in a non-deterministic typed lambda-calculus -- On expressive completeness of modal logic -- Comparing models of the non-extensional typed ?-calculus extended abstract -- Coalgebras and approximation -- Computational and concurrency models of linear logic -- The longest perpetual reductions in Orthogonal Expression Reduction Systems -- The notion of rank and games -- A predicate logic of well-founded actions -- Predicative recurrence in finite types -- Arity vs. alternation in second order logic -- Hereditarily sequential functionals -- Propositional linear temporal logic and language homomorphisms -- An abstract property of confluence applied to the study of the lazy partial lambda calculus -- On specialization of derivations in axiomatic equality theories -- Preserving of admissible inference rules in modal logic -- Pure Type Systems with definitions -- Craig interpolation property in modal logics with provability interpretation -- Representing null values in logic programming -- Comparing cubes -- A logic of capabilities -- Weak orthogonality implies confluence: The higher-order case. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910254150303321 |
|
|
Autore |
Javaherdashti Reza |
|
|
Titolo |
Microbiologically influenced corrosion : an engineering insight / / Reza Javaherdashti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer, , [2017] |
|
©2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
3-319-44306-2 |
9783319443065 |
|
|
|
|
|
|
|
|
Edizione |
[Second edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xxxi, 216 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Engineering materials and processes, , 2365-0761 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Microbiologically influenced corrosion |
Tribology |
Corrosion and anti-corrosives |
Coatings |
Biochemical engineering |
Mechanics |
Mechanics, Applied |
Microbiology |
Tribology, Corrosion and Coatings |
Biochemical Engineering |
Solid Mechanics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
A Short Journey to the Realm of Corrosion -- Technical Mitigation of Corrosion: Corrosion Management -- Non-technical Mitigation of Corrosion: Corrosion Knowledge Management -- Microbiologically Influenced Corrosion (MIC) -- How Does a System Become Vulnerable to MIC? -- How Is MIC Detected and Recognised? -- Examples of Some Systems Vulnerable to MIC -- Examples of Some Materials Vulnerable to MIC -- How Is MIC Treated?. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Significantly extended from the first edition, this book presents the basics of microbiologically influenced corrosion (MIC) in an accessible |
|
|
|
|
|
|
|
|
|
|
and concise manner. It explores strategies for recognizing, understanding, mitigating and preventing this type of corrosion, and investigates this topic from the point of view of an engineer. Chapters cover issues including stress corrosion cracking and microbial corrosion, the pros and cons of biocides, the involvement of magnetic bacteria in microbial corrosion, and cathodic protection based on recent research in microbial environments. The 2nd Edition provides new material examining the following topics: *The corrosion-related bacteria clostridia *Mathematical modelling of MIC, in particular fuzzy logic *A comparison of culture-independent methods with culture-dependent methods *Further practical strategies for dealing with MIC *Natural biocides This book has provided course material for the author’s microbial corrosion workshops around the world, and it presents an invaluable resource to corrosion and integrity professionals working in a wide range of industries including power generation, oil and gas, marine, and mining. It is also intended for students and academics of corrosion engineering, materials science, microbiology, chemical engineering and welding. |
|
|
|
|
|
| |