Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114602 |
[Cham], : Birkhäuser, : Springer, 2016 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
Edizione | [[Cham] : Birkhäuser : Springer, 2016] |
Pubbl/distr/stampa | XIV, 276 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0114602 |
XIV, 276 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Features and fluents : the representation of knowledge about dynamical systems 1. / Erik Sandewall |
Autore | Sandewall, Erik |
Pubbl/distr/stampa | Oxford, : Clarendon, 1994 |
Descrizione fisica | xvii, 328 p. : ill. ; 24 cm. |
Soggetto topico |
68T30 - Knowledge representation [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] |
ISBN | 01-985384-5-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0063393 |
Sandewall, Erik
![]() |
||
Oxford, : Clarendon, 1994 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00B30 - Festschriften [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68M25 - Computer security [MSC 2020] |
Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249184 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert |
Autore | Schagrin, Morton L. |
Pubbl/distr/stampa | Milano, : McGraw-Hill Libri, 1986 |
Descrizione fisica | 379 p. ; 21 cm |
Altri autori (Persone) |
Dipert, Randall R.
Rapaport, William J. |
Soggetto topico |
68N17 - Logic programming [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] |
ISBN | 978-88-386-0605-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0051440 |
Schagrin, Morton L.
![]() |
||
Milano, : McGraw-Hill Libri, 1986 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert |
Autore | Schagrin, Morton L. |
Edizione | [Milano : McGraw-Hill Libri, 1986] |
Descrizione fisica | Tit. orig.: Logic : a Computer Approach. |
Altri autori (Persone) |
Rapaport, William J.
Dipert, Randall R. |
Soggetto topico |
68N17 - Logic programming [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] |
ISBN | 978-88-386-0605-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-SUN0051440 |
Schagrin, Morton L.
![]() |
||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | x, 287 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249404 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Periodic Character and Patterns of Recursive Sequences / Michael A. Radin |
Autore | Radin, Michael A. |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | xi, 219 p. : ill. ; 24 cm |
Soggetto topico |
11B37 - Recurrences [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 11J71 - Distribution modulo one [MSC 2020] 35Fxx - General first-order partial differential equations and systems of first-order partial differential equations [MSC 2020] 34Kxx - Functional-differential equations [MSC 2020] 39Axx - Difference equations [MSC 2020] 39-XX - Difference and functional equations [MSC 2020] 11Y55 - Calculation of integer sequences [MSC 2020] |
Soggetto non controllato |
Even ordered cycles
Eventually periodic cycles Linear difference equations Max-type difference equations Non-autonomous difference equations Odd ordered cycles Periodic cycles Piece-wise difference equations Rational difference equations Unique periodic cycles |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124933 |
Radin, Michael A.
![]() |
||
Cham, : Springer, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Periodic Character and Patterns of Recursive Sequences / Michael A. Radin |
Autore | Radin, Michael A. |
Edizione | [Cham : Springer, 2018] |
Pubbl/distr/stampa | xi, 219 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
11B37 - Recurrences [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 11J71 - Distribution modulo one [MSC 2020] 35Fxx - General first-order partial differential equations and systems of first-order partial differential equations [MSC 2020] 34Kxx - Functional-differential equations [MSC 2020] 39Axx - Difference equations [MSC 2020] 39-XX - Difference and functional equations [MSC 2020] 11Y55 - Calculation of integer sequences [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0124933 |
Radin, Michael A.
![]() |
||
xi, 219 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.] |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | xvi, 178 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Ambiguity in Natural and Artistic Languages
Classical and Quantum Turing Machines Entanglement Epistemic Operators Individuals, Quantifiers and Epistemic Operators Mathematical Environment of Quantum Information Non-classical logics Quantum Computer Quantum Entanglement Quantum Information and Quantum Logical Gates Quantum Logic Quantum Logical Circuits to Quantum Computational Logics Quantum computation Quantum gates Quantum teleportation |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124953 |
Cham, : Springer, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|