top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Descriptional Complexity of Formal Systems [[electronic resource] ] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings / / edited by Martin Kutrib, Nelma Moreira, Rogério Reis
Descriptional Complexity of Formal Systems [[electronic resource] ] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings / / edited by Martin Kutrib, Nelma Moreira, Rogério Reis
Edizione [1st ed. 2012.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica 1 online resource (X, 319 p. 23 illus.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Machine theory
Theory of Computation
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
ISBN 3-642-31623-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465322603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Developments in Language Theory [[electronic resource] ] : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / / edited by Nelma Moreira, Rogério Reis
Developments in Language Theory [[electronic resource] ] : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / / edited by Nelma Moreira, Rogério Reis
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (XVII, 381 p. 52 illus., 12 illus. in color.)
Disciplina 511.3
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Natural language processing (Computer science)
Machine theory
Logic programming
Database management
Computer Science Logic and Foundations of Programming
Natural Language Processing (NLP)
Formal Languages and Automata Theory
Logic in AI
Database Management
ISBN 3-030-81508-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Morphic sequences versus automatic sequences -- Parsimonious Computational Completeness Pointlike sets and separation: a personal perspective -- Regular Papers -- A strong non-overlapping Dyck code -- Active Learning of Sequential Transducers with Side Information about the Domain -- Compositions of Constant Weighted Extended Tree Transducers -- Extremal Binary PFAs in a Cerny Family -- Variations on the Post Correspondence Problem for Free Groups -- Reducing local alphabet size in recognizable picture languages -- Properties of Graphs Specified by a Regular Language -- Balanced-by-construction regular and omega-regular languages -- Weighted Prefix Normal Words: Mind the Gap -- Two-Way Non-Uniform Finite Automata -- Integer Weighted Automata on Infinite Words -- Deciding FO2 Alternation for Automata over Finite and Infinite Words -- State Complexity of Projection on Languages Recognized by Permutation Automata and Commuting Letters -- Constrained Synchronization and Subset Synchronization Problems for Weakly Acyclic Automata -- Lyndon words formalized in Isabelle/HOL -- The Range of State Complexities of Languages Resulting from the Cascade Product—The General Case (Extended Abstract) -- Second-order finite automata: expressive power and simple proofs using automatic structures -- Reversible Top-Down Syntax Analysis -- Symmetry groups of infinite words -- Bounded Languages Described by GF(2)-grammas -- Definability Results for Top-Down Tree Transducers -- The hardest LL(k) language -- Upper Bounds on Distinct Maximal (Sub-)Repetitions in Compressed Strings -- Branching Frequency and Markov Entropy of Repetition-Free Languages -- A Linear-time Simulation of Deterministic d-Limited Automata -- Caratheodory Extensions of Subclasses of Regular Languages -- Parikh Word Representable Graphs and Morphisms.
Record Nr. UNISA-996464399003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Developments in Language Theory [[electronic resource] ] : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / / edited by Nelma Moreira, Rogério Reis
Developments in Language Theory [[electronic resource] ] : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / / edited by Nelma Moreira, Rogério Reis
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (XVII, 381 p. 52 illus., 12 illus. in color.)
Disciplina 511.3
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Natural language processing (Computer science)
Machine theory
Logic programming
Database management
Computer Science Logic and Foundations of Programming
Natural Language Processing (NLP)
Formal Languages and Automata Theory
Logic in AI
Database Management
ISBN 3-030-81508-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Morphic sequences versus automatic sequences -- Parsimonious Computational Completeness Pointlike sets and separation: a personal perspective -- Regular Papers -- A strong non-overlapping Dyck code -- Active Learning of Sequential Transducers with Side Information about the Domain -- Compositions of Constant Weighted Extended Tree Transducers -- Extremal Binary PFAs in a Cerny Family -- Variations on the Post Correspondence Problem for Free Groups -- Reducing local alphabet size in recognizable picture languages -- Properties of Graphs Specified by a Regular Language -- Balanced-by-construction regular and omega-regular languages -- Weighted Prefix Normal Words: Mind the Gap -- Two-Way Non-Uniform Finite Automata -- Integer Weighted Automata on Infinite Words -- Deciding FO2 Alternation for Automata over Finite and Infinite Words -- State Complexity of Projection on Languages Recognized by Permutation Automata and Commuting Letters -- Constrained Synchronization and Subset Synchronization Problems for Weakly Acyclic Automata -- Lyndon words formalized in Isabelle/HOL -- The Range of State Complexities of Languages Resulting from the Cascade Product—The General Case (Extended Abstract) -- Second-order finite automata: expressive power and simple proofs using automatic structures -- Reversible Top-Down Syntax Analysis -- Symmetry groups of infinite words -- Bounded Languages Described by GF(2)-grammas -- Definability Results for Top-Down Tree Transducers -- The hardest LL(k) language -- Upper Bounds on Distinct Maximal (Sub-)Repetitions in Compressed Strings -- Branching Frequency and Markov Entropy of Repetition-Free Languages -- A Linear-time Simulation of Deterministic d-Limited Automata -- Caratheodory Extensions of Subclasses of Regular Languages -- Parikh Word Representable Graphs and Morphisms.
Record Nr. UNINA-9910495347003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVIII, 523 p. 398 illus., 98 illus. in color.)
Disciplina 004.0151
Collana Programming and Software Engineering
Soggetto topico Software engineering
Special purpose computers
Computers
Architecture, Computer
Artificial intelligence
Application software
Software Engineering
Special Purpose and Application-Based Systems
Theory of Computation
Computer System Implementation
Artificial Intelligence
Computer Applications
ISBN 3-030-54994-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.
Record Nr. UNINA-9910416085903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVIII, 523 p. 398 illus., 98 illus. in color.)
Disciplina 004.0151
Collana Programming and Software Engineering
Soggetto topico Software engineering
Special purpose computers
Computers
Architecture, Computer
Artificial intelligence
Application software
Software Engineering
Special Purpose and Application-Based Systems
Theory of Computation
Computer System Implementation
Artificial Intelligence
Computer Applications
ISBN 3-030-54994-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.
Record Nr. UNISA-996418289703316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVIII, 575 p. 605 illus., 85 illus. in color.)
Disciplina 006.3
Collana Programming and Software Engineering
Soggetto topico Computers
Artificial intelligence
Software engineering
Special purpose computers
Architecture, Computer
Application software
Theory of Computation
Artificial Intelligence
Software Engineering/Programming and Operating Systems
Special Purpose and Application-Based Systems
Computer System Implementation
Computer Applications
ISBN 3-030-54997-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis.
Record Nr. UNINA-9910416085803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Formal Methods. FM 2019 International Workshops [[electronic resource] ] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XVIII, 575 p. 605 illus., 85 illus. in color.)
Disciplina 006.3
Collana Programming and Software Engineering
Soggetto topico Computers
Artificial intelligence
Software engineering
Special purpose computers
Architecture, Computer
Application software
Theory of Computation
Artificial Intelligence
Software Engineering/Programming and Operating Systems
Special Purpose and Application-Based Systems
Computer System Implementation
Computer Applications
ISBN 3-030-54997-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis.
Record Nr. UNISA-996418292803316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Implementation and Application of Automata [[electronic resource] ] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / / edited by Nelma Moreira, Rogério Reis
Implementation and Application of Automata [[electronic resource] ] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / / edited by Nelma Moreira, Rogério Reis
Edizione [1st ed. 2012.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica 1 online resource (XIII, 369 p. 76 illus.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Algorithms
Machine theory
Bioinformatics
Artificial intelligence—Data processing
Information storage and retrieval systems
Theory of Computation
Formal Languages and Automata Theory
Computational and Systems Biology
Data Science
Information Storage and Retrieval
ISBN 3-642-31606-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465762103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Natural Language Processing [[electronic resource] ] : EAIA '90, 2nd Advanced School in Artificial Intelligence Guarda, Portugal, October 8-12, 1990. Proceedings / / edited by Miguel Filgueiras, Luis Damas, Nelma Moreira, Ana P. Tomas
Natural Language Processing [[electronic resource] ] : EAIA '90, 2nd Advanced School in Artificial Intelligence Guarda, Portugal, October 8-12, 1990. Proceedings / / edited by Miguel Filgueiras, Luis Damas, Nelma Moreira, Ana P. Tomas
Edizione [1st ed. 1991.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
Descrizione fisica 1 online resource (X, 262 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Artificial Intelligence
ISBN 3-540-46975-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto General introduction -- Methods and tools for lexical acquisition -- X-bar theory: Its role in GB theory -- Information-based linguistics and head-driven phrase structure -- Three lectures on situation theoretic grammar -- Basic aspects of the theory of generalized quantifiers -- The semantics of tense and aspect -- Simplifying and correcting the treatment of intentionality in Montague semantics -- Compositionality and omniscience in situation semantics -- Some remarks on first-order intensional logic -- References.
Record Nr. UNISA-996465556903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui