Transactions on Petri Nets and Other Models of Concurrency III [[electronic resource]] |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVII, 275 p.) |
Disciplina | 511.35 |
Altri autori (Persone) |
JensenK <1950-> (Kurt)
BillingtonJonathan KoutnyMaciej <1958-> |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Mathematical logic
Computers Software engineering Computer programming Mathematical Logic and Foundations Models and Principles Software Engineering Programming Techniques Mathematical Logic and Formal Languages Theory of Computation |
ISBN | 3-642-04856-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Designing a Workflow System Using Coloured Petri Nets -- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs -- Parameterised Coloured Petri Net Channel Models -- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol -- Modelling Mobile IP with Mobile Petri Nets -- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example -- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection -- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language -- On Bisimulation Theory in Linear Higher-Order ?-Calculus. |
Record Nr. | UNISA-996465909003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on Petri Nets and Other Models of Concurrency III [[electronic resource]] |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVII, 275 p.) |
Disciplina | 511.35 |
Altri autori (Persone) |
JensenK <1950-> (Kurt)
BillingtonJonathan KoutnyMaciej <1958-> |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Mathematical logic
Computers Software engineering Computer programming Mathematical Logic and Foundations Models and Principles Software Engineering Programming Techniques Mathematical Logic and Formal Languages Theory of Computation |
ISBN | 3-642-04856-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Designing a Workflow System Using Coloured Petri Nets -- From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs -- Parameterised Coloured Petri Net Channel Models -- On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol -- Modelling Mobile IP with Mobile Petri Nets -- A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example -- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection -- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language -- On Bisimulation Theory in Linear Higher-Order ?-Calculus. |
Record Nr. | UNINA-9910484551103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Trick or Truth? [[electronic resource] ] : The Mysterious Connection Between Physics and Mathematics / / edited by Anthony Aguirre, Brendan Foster, Zeeya Merali |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (253 p.) |
Disciplina | 530 |
Collana | The Frontiers Collection |
Soggetto topico |
Physics
Philosophy and science Mathematical physics Mathematical logic History and Philosophical Foundations of Physics Philosophy of Science Mathematical Applications in the Physical Sciences Mathematical Logic and Foundations |
ISBN | 3-319-27495-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Children of the cosmos (S. Wenmackers) -- Mathematics is Physics (M. S. Leifer) -- My god, it's full of clones: Living in a mathematical universe (M. Séguin) -- Let's consider two spherical chickens (T. Bolognesi) -- The raven and the writing desk (I. Durham) -- The deeper roles of mathematics in physical laws (K. H. Knuth) -- How mathematics meets the world (T. Maudlin) -- Mathematics: intuition's consistency check (K. Wharton) -- How not to factor a miracle (D. K. Wise) -- The language of nature (D. Garfinkle) -- Demystifying the applicability of mathematics (N. Fillion) -- Why mathematics works so well (N. S. Yanofsky) -- Genesis of a pythagorean universe (A. Burov) -- Beyond math (S. Magnusdottir) -- The descent of math (S. I. Walker) -- The ultimate tactics of self-referential systems (C. C. Dantas) -- Cognitive science and the connection between physics and mathematics (A. Gupta Mujumdar) -- A metaphorical chart of our mathematical ontology (P. Gibbs).-And the math will set you free (C. Stoica) -- Appendix: List of winners. |
Record Nr. | UNINA-9910739435903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Truth-Seeking by Abduction [[electronic resource] /] / by Ilkka Niiniluoto |
Autore | Niiniluoto Ilkka |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (188 pages) |
Disciplina | 160 |
Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
Soggetto topico |
Epistemology
Linguistics Mathematical logic Logic Philosophy and science Theoretical Linguistics Mathematical Logic and Foundations Philosophy of Science |
ISBN | 3-319-99157-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Chapter 1. Peirce on Abduction -- Chapter 2. Analysis and Synthesis -- Chapter 3. Abduction and Logic -- Chapter 4. Inverse Problems -- Chapter 5. Abduction as Discovery and Pursuit -- Chapter 6. Abduction and Confirmation -- Chapter 7. Inference to the Best Explanation -- Chapter 8. Abduction and Truthlikeness -- Chapter 9. Abduction and Scientific Realism -- Bibliography -- Index. |
Record Nr. | UNINA-9910300617803321 |
Niiniluoto Ilkka | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Turing Computability [[electronic resource] ] : Theory and Applications / / by Robert I. Soare |
Autore | Soare Robert I |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXXVI, 263 p. 4 illus.) |
Disciplina | 511.352 |
Collana | Theory and Applications of Computability, In cooperation with the association Computability in Europe |
Soggetto topico |
Computers
Computer science—Mathematics Mathematical logic Theory of Computation Mathematics of Computing Mathematical Logic and Foundations |
ISBN | 3-642-31933-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Foundations of Computability -- Chap. 1 Defining Computability -- Chap. 2 Computably Enumerable Sets -- Chap. 3 Turing Reducibility -- Chap. 4 The Arithmetical Hierarchy -- Chap. 5 Classifying C.E. Sets -- Chap. 6 Oracle Constructions and Forcing -- Chap. 7 The Finite Injury Method -- Part II Trees and Π01 Classes -- Chap. 8 Open and Closed Classes -- Chap. 9 Basis Theorems -- Chap. 10 Peano Arithmetic and Π01-Classes -- Chap. 11 Randomness and Π01-Classes -- Part III Minimal Degrees -- Chap. 12 Minimal Degrees Below Øʹʹ -- Chap. 13 Minimal Degrees Below Øʹ -- Part IV Games in Computability Theory -- Chap. 14 Banach-Mazur Games -- Chap. 15 Gale-Stewart Games -- Chap. 16 More Lachlan Games -- Part V History of Computability -- Chap. 17 History of Computability -- References -- Index. |
Record Nr. | UNINA-9910255006703321 |
Soare Robert I | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Turing Machines with Sublogarithmic Space [[electronic resource] /] / by Andrzej Szepietowski |
Autore | Szepietowski Andrzej |
Edizione | [1st ed. 1994.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
Descrizione fisica | 1 online resource (VIII, 114 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer logic
Mathematical logic Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
ISBN | 3-540-48669-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic Notions -- Languages acceptable with logarithmic space -- Examples of languages acceptable with sublogarithmic space -- Lower bounds for accepting non-regular languages -- Space constructible functions -- Halting property and closure under complement -- Strong versus weak mode of space complexity -- Padding -- Deterministic versus nondeterministic Turing machines -- Space hierarchy -- Closure under concatenation -- Alternating hierarchy -- Independent complement -- Other models of Turing machines. |
Record Nr. | UNISA-996466112903316 |
Szepietowski Andrzej | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Turing’s Revolution [[electronic resource] ] : The Impact of His Ideas about Computability / / edited by Giovanni Sommaruga, Thomas Strahm |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 |
Descrizione fisica | 1 online resource (347 p.) |
Disciplina | 510 |
Soggetto topico |
Mathematical logic
Mathematics History Logic Mathematical Logic and Foundations History of Mathematical Sciences |
ISBN | 3-319-22156-6 |
Classificazione | 68-0603-0368-0301A6001A7003D1068Q0568Q1000B15 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface (Martin Davis).-I Introduction (Sommaruga, Strahm).-II Turing and the history of computability theory -- 1. Conceptual Confluence in 1936: Post & Turing, Martin Davis and Wilfried Sieg -- 2. Algorithms: From Al-Khwarizmi to Turing and Beyond, Wolfgang Thomas -- 3. The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann? Jack Copeland and Giovanni Sommaruga -- III Generalizing Turing computability theory -- 1. Theses for Computation and Recursion on Concrete and Abstract Structures, Solomon Feferman -- 2. Generalizing Computability Theory to Abstract Algebras, John V. Tucker and Jeffrey Zucker -- 3. Discrete Transfinite Computation, Philip Welch -- 4. Semantics-to-Syntax Analyses of Algorithms, Yuri Gurevich -- 5. The Information Content of Typical Reals, George Barmpalias and Andy Lewis-Pye -- 6. Proof-theoretic Analysis by Iterated Reflection, Lev Beklemishev.-IV Philosophical reflections -- 1. Alan Turing and the Foundation of Computer Science, Juraj Hromkovic -- 2. Proving Things about the Informal, Stewart Shapiro -- 3. Why Turing’s Thesis is Not a Thesis, Robert Soare -- 4. Incomputability, Emergent, and Higher Type Computation, S. Barry Cooper. |
Record Nr. | UNINA-9910300260003321 |
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Typed Lambda Calculi and Applications [[electronic resource] ] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings / / edited by Masahito Hasegawa |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 251 p. 18 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Computer science Artificial intelligence Mathematical logic Formal Languages and Automata Theory Mathematics of Computing Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Artificial Intelligence Mathematical Logic and Foundations |
ISBN | 3-642-38946-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465699603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Typed Lambda Calculi and Applications [[electronic resource] ] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings / / edited by Masahito Hasegawa |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 251 p. 18 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Computer science Artificial intelligence Mathematical logic Formal Languages and Automata Theory Mathematics of Computing Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Artificial Intelligence Mathematical Logic and Foundations |
ISBN | 3-642-38946-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483895403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Typed Lambda Calculi and Applications [[electronic resource] ] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / / edited by Luke Ong |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XII, 245 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Computer science Artificial intelligence Mathematical logic Formal Languages and Automata Theory Mathematics of Computing Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Artificial Intelligence Mathematical Logic and Foundations |
ISBN | 3-642-21691-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465539003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|