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.
Developments in Language Theory : 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / / edited by Frank Drewes, Mikhail Volkov
| Developments in Language Theory : 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / / edited by Frank Drewes, Mikhail Volkov |
| Autore | Drewes Frank |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (276 pages) |
| Disciplina | 410 |
| Altri autori (Persone) | VolkovMikhail |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Computer engineering Computer networks Logic programming Natural language processing (Computer science) Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematics of Computing Computer Engineering and Networks Logic in AI Natural Language Processing (NLP) Llenguatges formals |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031332647
9783031332630 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Transducers and the Power of Delay -- When the Map is More Exact than the Terrain -- Formal Languages and the NLP Black Box -- On Structural Tractability Parameters for Hard String Problems -- Jumping Automata over Infinite Words -- Isometric Words based on Swap and Mismatch Distance -- Set Augmented Finite Automata over Infinite Alphabets -- Fast detection of specific fragments against a set of sequences -- Weak Inverse Neighborhoods of Languages -- The exact state complexity for the composition of Root and reversal -- Bit catastrophes for the Burrows-Wheeler Transform -- The Domino problem is undecidable on every rhombus subshift -- Synchronization of Parikh Automata -- Completely Distinguishable Automata and the Set of Synchronizing Words -- Zielonka DAG Acceptance and Regular Languages over Infinite Words -- On Word Representable and Multi-Word Representable Graphs -- On the Simon's Congruence Neighborhood of Languages -- Tree-Walking-Storage Automata -- Rewriting rules for arithmetics in alternate base systems -- Synchronizing Automata with Coinciding Cycles -- Approaching Repetition Thresholds Via Local Resampling and Entropy Compression -- Languages Generated by Conjunctive Query Fragments of FC[REG] -- Groups whose word problems are accepted by abelian G-automata. |
| Record Nr. | UNINA-9910726288703321 |
Drewes Frank
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Institution-independent Model Theory / / by Răzvan Diaconescu
| Institution-independent Model Theory / / by Răzvan Diaconescu |
| Autore | Diaconescu Răzvan |
| Edizione | [2nd ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
| Descrizione fisica | 1 online resource (568 pages) |
| Disciplina | 511.3 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Machine theory Logic Model theory Mathematical Logic and Foundations Formal Languages and Automata Theory Model Theory Lògica Teoria de màquines Teoria de models Llenguatges formals |
| Soggetto genere / forma | Llibres electrònics. |
| ISBN | 9783031688546 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | - Introduction -- Part I Basics -- Categories -- Institutions -- Theories and Models -- Internal Logic -- Part II Advanced Topics -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Part III Extensions -- Institutions with Proofs -- Models with States -- Many-valued Truth Institutions -- Part IV Applications to Computing -- Grothendieck Institutions -- Specification -- Logic Programming. |
| Record Nr. | UNINA-9910986146103321 |
|
Diaconescu Răzvan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
