Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Coalgebraic methods in computer science : 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings / / Helle Hvid Hansen and Fabio Zanasi, editors
| Coalgebraic methods in computer science : 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings / / Helle Hvid Hansen and Fabio Zanasi, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (210 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer science - Mathematics
Computer software |
| ISBN | 3-031-10736-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585776203321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coalgebraic methods in computer science : 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings / / Helle Hvid Hansen and Fabio Zanasi, editors
| Coalgebraic methods in computer science : 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings / / Helle Hvid Hansen and Fabio Zanasi, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (210 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer science - Mathematics
Computer software |
| ISBN | 3-031-10736-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483160703316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, and Computation [[electronic resource] ] : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers / / edited by Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
| Logic, Language, and Computation [[electronic resource] ] : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers / / edited by Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXVIII, 355 p. 46 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Natural language processing (Computer science) Formal Languages and Automata Theory Artificial Intelligence Natural Language Processing (NLP) |
| ISBN | 3-662-54332-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466085703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers / / edited by Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
| Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers / / edited by Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXVIII, 355 p. 46 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Natural language processing (Computer science) Formal Languages and Automata Theory Artificial Intelligence Natural Language Processing (NLP) |
| ISBN | 3-662-54332-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484334803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / / Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors
| Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / / Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (419 pages) |
| Disciplina | 401 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Language and logic
Logic, Symbolic and mathematical |
| ISBN | 3-031-39784-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Learning Context-Free Grammars from Positive Data and Membership Queries -- The Web Still Needs Logic and Reasoning: A Short Introduction to SHACL for Logicians -- From Gödel’s Incompleteness Theorem to the completeness of bot beliefs -- Quantitative Global Memory -- Effective Skolemization -- Factive Complements are not Always Unique Entities: A Case Study with Bangla 'remember' -- Two-layered logics for paraconsistent probabilities -- An Axiom System for Hybrid Logic with Propositional Quantifiers -- An Evidence Logic Perspective on Schotch-Jennings Forcing -- A separation logic with histories of epistemic actions as resources -- Conditional Obligations in Justification Logic -- Structural Completeness and Superintuitionistic Inquisitive Logics -- Validity in Choice Logics - A Game-theoretic Investigation -- Aleatoric Propositions: Reasoning about Coins -- Towards an induction principle for nested data types -- A principled approach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey's update rule -- Parameterized Complexity of Propositional Inclusion and Independence Logic -- Parallelism in Realizability Models -- Bisimulations between Verbrugge models and Veltman models -- Focus-style proofs for the two-way alternation-free $\mu$-calculus -- Relevant Reasoning and Implicit Beliefs -- Decidability of modal logics of non-k-colorable graphs -- Subsumption-Linear Q-Resolution for QBF Theorem Proving -- Maximally Multi-Focused Proofs for Skew Non-Commutative MILL. |
| Record Nr. | UNISA-996546849603316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / / Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors
| Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / / Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (419 pages) |
| Disciplina | 401 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Language and logic
Logic, Symbolic and mathematical |
| ISBN | 3-031-39784-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Learning Context-Free Grammars from Positive Data and Membership Queries -- The Web Still Needs Logic and Reasoning: A Short Introduction to SHACL for Logicians -- From Gödel’s Incompleteness Theorem to the completeness of bot beliefs -- Quantitative Global Memory -- Effective Skolemization -- Factive Complements are not Always Unique Entities: A Case Study with Bangla 'remember' -- Two-layered logics for paraconsistent probabilities -- An Axiom System for Hybrid Logic with Propositional Quantifiers -- An Evidence Logic Perspective on Schotch-Jennings Forcing -- A separation logic with histories of epistemic actions as resources -- Conditional Obligations in Justification Logic -- Structural Completeness and Superintuitionistic Inquisitive Logics -- Validity in Choice Logics - A Game-theoretic Investigation -- Aleatoric Propositions: Reasoning about Coins -- Towards an induction principle for nested data types -- A principled approach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey's update rule -- Parameterized Complexity of Propositional Inclusion and Independence Logic -- Parallelism in Realizability Models -- Bisimulations between Verbrugge models and Veltman models -- Focus-style proofs for the two-way alternation-free $\mu$-calculus -- Relevant Reasoning and Implicit Beliefs -- Decidability of modal logics of non-k-colorable graphs -- Subsumption-Linear Q-Resolution for QBF Theorem Proving -- Maximally Multi-Focused Proofs for Skew Non-Commutative MILL. |
| Record Nr. | UNINA-9910742492503321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||