| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910787095703321 |
|
|
Titolo |
Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boston : , : De Gruyter, , [2014] |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-61451-940-4 |
1-61451-804-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (424 p.) |
|
|
|
|
|
|
Collana |
|
Ontos mathematical logic, , 2198-2341 ; ; volume 4 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Algebra, Boolean |
Quasi-metric spaces |
Petri nets |
Set theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Preface -- Contents -- The life and work of Victor L. Selivanov / Spreen, Dieter -- Tight extensions of T0-quasi-metric spaces / Agyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. -- On the strongly bounded turing degrees of simple sets / Ambos-Spies, Klaus -- Levels of discontinuity, limit-computability, and jump operators / de Brecht, Matthew -- The wadge hierarchy of Petri Nets ω-languages / Duparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre -- Diophantine properties of brownian motion: recursive aspects / Fouché, Willem L. -- The completeness of isomorphism / Sy-David, Friedman -- Complexity issues for Preorders on finite labeled forests / Hertling, Peter / Selivanov, Victor -- Boolean algebras of regular quasi-aperiodic languages / Konovalov, Anton -- A simple indeterminate infinite game / Kopczynski, Eryk / Niwinski, Damian -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / Motto Ros, Luca / Schlicht, Philipp -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC / Odintsov, Sergey -- COMPUTING CLEBSCH-GORDAN MATRICES WITH |
|
|
|
|
|
|
|
|
|
|
|
|
|
APPLICATIONS IN ELASTICITY THEORY / Selivanova, Svetlana -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) / Shilov, Nikolay V. -- PARTIAL NUMBERINGS AND PRECOMPLETENESS / Spreen, Dieter -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS / Spreen, Dieter -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES / Staiger, Ludwig -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS / Zhukov, Anton V. -- INDEX |
|
|
|
|
|
|
Sommario/riassunto |
|
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910366637903321 |
|
|
Titolo |
Arabian Plate and Surroundings: Geology, Sedimentary Basins and Georesources / / edited by Sami Khomsi, François M. Roure, Mansour Al Garni, Ammar Amin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (258 pages) |
|
|
|
|
|
|
Collana |
|
Regional Geology Reviews, , 2364-6438 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Geology, Structural |
Sedimentology |
Geophysics |
Paleontology |
Structural Geology |
Geophysics/Geodesy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Part I: Sedimentary basins, petroleum resources and reservoirs in the Arabian plate High-resolution stratigraphic architectures, facies anatomies of the Lower Cretaceous Biyadh and Shu’aiba formations, and their implications on platform evolution and global correlation -- The Lower Cretaceous Chouf Sandstone of Lebanon: a regional reservoir level in the Levant? -- Seismic tectono-stratigraphy and hydrocarbon implications of lowstand deep marine Oligo-Miocene siliciclastic reservoirs in the Northern Levant Basin -- Source-to-sink analysis of the Plio-Pleistocene deposits in the Suez rift (Egypt). Part II: Geophysics and structural styles The Southern Atlas front in Tunisia: Regional-scale geometry and structural evolution. U-Pb zircon geochronology and geochemistry of some plutonic rocks from the Afif terrane of Saudi Arabia, Arabian Shield: implications for crustal evolution -- Aeromagnetic data investigation of Al-Shamiyya area, north east of Makkah quadrangle, Saudi Arabia. Part III: Hydrology, hydrogeology and water resources Groundwater contamination of Wadi Haliy area, Southwestern Arabian Shield, Saudi Arabia -- Analysis of rainfall, missing data, frequency and PMP in Al-Madinah area, Western Saudi Arabia -- Hydrochemical assessment of groundwater within the Lower Wadi Ranyah, Western Saudi Arabia using multivariate statistical technique. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book focuses on the evolution of sedimentary basins of the Arabian Plate and its surroundings. Because these sedimentary basins developed in various tectonic settings, from extensional or transtensional to flexural, transpressional or compressional, their sedimentary sequences provide unique records of the regional geology. Georesources of the Arabian Plate are also described here, including petroleum potential, reservoirs, water resources, fresh water and deep saline aquifers, as well as materials and ore deposits. The book is made by a set of papers authored by geoscientists working in both academia and industry. Numerous chapters describe some regional important geologic features and selected sedimentary basins from the Middle East, North Africa and the Arabian Peninsula domains. Other chapters focus on georesources. A particular focus is given to the geology of Saudi Arabia. This book is an important contribution to the geology of the Arabian Peninsula and its surroundings. In view of the strategic and economic importance of the regional geology and georesources of the Arabian Plate and Surroundings, this volume will constitute an important reference for a wide range of geoscientists interested in the geology of this region, especially those active in petroleum geosciences and related industry. Ultimately, readers will discover important thematic maps in this book. |
|
|
|
|
|
|
|
| |