Fundamentals of logic and computation : with practical automated reasoning and verification / / Zhe Hou |
Autore | Hou Zhec (Lecturer) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2021] |
Descrizione fisica | 1 online resource (225 pages) |
Disciplina | 005.1015113 |
Collana | Texts in computer science |
Soggetto topico |
Computer logic
Machine theory Computer arithmetic and logic units |
ISBN |
9783030878825
9783030878818 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910512178703321 |
Hou Zhec (Lecturer)
![]() |
||
Cham, Switzerland : , : Springer Nature Switzerland AG, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamentals of logic and computation : with practical automated reasoning and verification / / Zhe Hou |
Autore | Hou Zhec (Lecturer) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2021] |
Descrizione fisica | 1 online resource (225 pages) |
Disciplina | 005.1015113 |
Collana | Texts in computer science |
Soggetto topico |
Computer logic
Machine theory Computer arithmetic and logic units |
ISBN |
9783030878825
9783030878818 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464529003316 |
Hou Zhec (Lecturer)
![]() |
||
Cham, Switzerland : , : Springer Nature Switzerland AG, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Higher-order algebra, logic and term rewriting : first international workshop, HOA '93 : Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.) |
Autore | International workshop on higher-order algebra, logic and term rewriting : <1. : ; 1993 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
Descrizione fisica | 344 p. ; 24 cm |
Disciplina | 005.1015113 |
Collana | Lecture notes in computer science |
Soggetto topico |
Logica simbolica - Congressi - 1994
Logica matematica - Congressi - 1994 Informatica - Congressi - 1994 |
ISBN |
0387582339
3540582339 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10007877 |
International workshop on higher-order algebra, logic and term rewriting : <1. : ; 1993
![]() |
||
Berlin [etc.], : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Horizons of the Mind. A Tribute to Prakash Panangaden [[electronic resource] ] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVIII, 499 p. 36 illus.) : online resource |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Probability and Statistics in Computer Science Theory of Computation |
ISBN | 3-319-06880-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Layout Randomization and Nondeterminism -- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities and No-Signalling Models -- Bisimulation on Markov Processes over Arbitrary Measurable Spaces -- Probabilistic Model Checking for Energy-Utility Analysis -- (Co)Algebraic Characterizations of Signal Flow Graphs -- Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra -- Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers: The Impact of Losses -- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata -- From Haar to Lebesgue via Domain Theory -- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars -- The Logic of Entanglement -- Free Energy of Petri Nets -- Laudatio for Prakash Panangaden -- Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random Measurable Selections -- A Final Coalgebra for k-regular Sequences -- Automata Learning: A Categorical Perspective -- Optimal Coin Flipping -- Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation -- Euclidean Representations of Quantum States -- TCC, with History -- Probabilistic and Quantum Event Structures. |
Record Nr. | UNISA-996203720603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVIII, 499 p. 36 illus.) : online resource |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Probability and Statistics in Computer Science Theory of Computation |
ISBN | 3-319-06880-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Layout Randomization and Nondeterminism -- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities and No-Signalling Models -- Bisimulation on Markov Processes over Arbitrary Measurable Spaces -- Probabilistic Model Checking for Energy-Utility Analysis -- (Co)Algebraic Characterizations of Signal Flow Graphs -- Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra -- Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers: The Impact of Losses -- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata -- From Haar to Lebesgue via Domain Theory -- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars -- The Logic of Entanglement -- Free Energy of Petri Nets -- Laudatio for Prakash Panangaden -- Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random Measurable Selections -- A Final Coalgebra for k-regular Sequences -- Automata Learning: A Categorical Perspective -- Optimal Coin Flipping -- Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation -- Euclidean Representations of Quantum States -- TCC, with History -- Probabilistic and Quantum Event Structures. |
Record Nr. | UNINA-9910484141703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid Systems Biology : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers / / edited by Milan Češka, Nicola Paoletti |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 181 p. 67 illus., 39 illus. in color.) |
Disciplina |
572.8
005.1015113 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Numerical analysis Mathematical statistics Computer science—Mathematics Computational Biology/Bioinformatics Numeric Computing Probability and Statistics in Computer Science Math Applications in Computer Science |
ISBN | 3-030-28042-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A multimodular system to study the impact of a focal lesion in neuronal cell cultures -- Reachability analysis and hybrid systems biology - In Memoriam Oded Maler -- Reaction networks, oscillatory motifs and parameter estimation in biochemical systems -- Fixed-point computation of equilibria in biochemical regulatory networks -- Rejection-based simulation of stochastic spreading processes on complex networks -- Controlling noisy expression through auto regulation of burst frequency and protein stability -- Extracting landscape features from single particle trajectories -- A hybrid HMM approach for the dynamics of DNA methylation -- Using a hybrid approach to model central carbon metabolism across the cell cycle -- Data-informed parameter synthesis for population Markov chains-. rPrism - A software for reactive weighted state transition models -- Hybrid modeling of metabolic-regulatory networks. |
Record Nr. | UNINA-9910349307803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Implementation and Application of Automata [[electronic resource] ] : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / / edited by Michal Hospodár, Galina Jirásková |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 249 p. 440 illus., 25 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Computer engineering Computer networks Software engineering Computer Science Logic and Foundations of Programming Artificial Intelligence Computer Engineering and Networks Software Engineering |
ISBN | 3-030-23679-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Static Garbage Collection -- Graph-Walking Automata: From Whence They Come, and Whither They Are Bound -- Enumerated Automata Implementation of String Dictionaries -- New Approaches for Context Sensitive Flash Codes -- Dolev-Yao Theory with Associative Blindpair Operators: An Automata-Theoretic Approach -- Semi-Linear Lattices and Right One-Way Jumping Finite Automata -- Z-Automata for Compact and Direct Representation of Unranked Tree Languages -- A Benchmark Production Tool for Regular Expressions -- New Algorithms for Manipulating Sequence BDDs -- A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs -- Composition Closure of Linear Weighted Extended Top-Down Tree Transducers -- A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata -- Descriptional Complexity of Power and Positive Closure on Convex Languages -- Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations -- Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels -- Input-Driven Multi-Counter Automata -- Two-Dimensional Pattern Matching against Basic Picture Languages -- Decision Problems for Restricted Variants of Two-Dimensional Automata -- Streaming Ranked-Tree-to-String Transducers. . |
Record Nr. | UNISA-996466351103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation and Application of Automata : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / / edited by Michal Hospodár, Galina Jirásková |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 249 p. 440 illus., 25 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Computer engineering Computer networks Software engineering Computer Science Logic and Foundations of Programming Artificial Intelligence Computer Engineering and Networks Software Engineering |
ISBN | 3-030-23679-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Static Garbage Collection -- Graph-Walking Automata: From Whence They Come, and Whither They Are Bound -- Enumerated Automata Implementation of String Dictionaries -- New Approaches for Context Sensitive Flash Codes -- Dolev-Yao Theory with Associative Blindpair Operators: An Automata-Theoretic Approach -- Semi-Linear Lattices and Right One-Way Jumping Finite Automata -- Z-Automata for Compact and Direct Representation of Unranked Tree Languages -- A Benchmark Production Tool for Regular Expressions -- New Algorithms for Manipulating Sequence BDDs -- A Simple Extension to Finite Tree Automata for Defining Sets of Labeled, Connected Graphs -- Composition Closure of Linear Weighted Extended Top-Down Tree Transducers -- A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata -- Descriptional Complexity of Power and Positive Closure on Convex Languages -- Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations -- Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels -- Input-Driven Multi-Counter Automata -- Two-Dimensional Pattern Matching against Basic Picture Languages -- Decision Problems for Restricted Variants of Two-Dimensional Automata -- Streaming Ranked-Tree-to-String Transducers. . |
Record Nr. | UNINA-9910349315003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Implementation and Application of Functional Languages [[electronic resource] ] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / / edited by Sven-Bodo Scholz, Olaf Chitil |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 291 p. 84 illus., 5 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Machine theory Compilers (Computer programs) Artificial intelligence Computer programming Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence Programming Techniques |
ISBN | 3-642-24452-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466065203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integrated Formal Methods [[electronic resource] ] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings / / edited by Michael Leuschel, Heike Wehrheim |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 367 p.) |
Disciplina | 005.1015113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Computer programming Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques |
ISBN | 3-642-00255-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Developing Topology Discovery in Event-B -- Decomposition Structures for Event-B -- Taming the Unbounded for Hardware Synthesis -- Contributed Papers -- Verifying UML/OCL Operation Contracts -- Property Specifications for Workflow Modelling -- Formal Verification Based on Guided Random Walks -- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format -- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B -- CSP with Hierarchical State -- Predicate Abstraction in a Program Logic Calculus -- Mechanised Translation of Control Law Diagrams into Circus -- Realizability of Choreographies Using Process Algebra Encodings -- Modelling Divergence in Relational Concurrent Refinement -- SAL-Based Symbolic Scheduling in Time-Triggered Networks -- Incremental Reasoning for Multiple Inheritance -- Model Checking LTL Formulae in RAISE with FDR -- An Introduction to Grammar Convergence -- Application of Graph Transformation in Verification of Dynamic Systems -- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays -- Challenges in the Specification of Full Contracts -- Partial Order Reduction for State/Event LTL -- Dynamic Path Reduction for Software Model Checking -- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions -- Decompositional Petri Net Reductions. |
Record Nr. | UNISA-996465908603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|