Languages
Moreira, Nelma.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
SpringerLink (Online service); Moreira, Nelma.; Reis, Rogério.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
by:
Delmas, David.; Oliveira, José N.; Farrell, Marie.; Campos, José.; Cerone, Antonio.; Moreira, Nelma.; Kutrib, Martin.; Dongol, Brijesh.; Luckcuck, Matt.; SpringerLink (Online service); Guidotti, Riccardo.; Marmsoler, Diego.; Couto, Luis.; Monteiro, Pedro.; Ratiu, Daniel.; Gonnord, Laure.; Astarte, Troy.; Sekerinski, Emil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
Reis, Rogerio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kutrib, Martin.; Moreira, Nelma.; SpringerLink (Online service)
(Language materials, printed)
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
SpringerLink (Online service); Moreira, Nelma.; Reis, Rogério.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
SpringerLink (Online service); Moreira, Nelma.; Workshop on the Preservation of Stability under Discretization ((2001 :); Reis, Rogerio.
(Language materials, printed)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I /
by:
Oliveira, José N.; Delmas, David.; Campos, José.; Cerone, Antonio.; Farrell, Marie.; Dongol, Brijesh.; Moreira, Nelma.; Kutrib, Martin.; SpringerLink (Online service); Luckcuck, Matt.; Marmsoler, Diego.; Guidotti, Riccardo.; Couto, Luis.; Astarte, Troy.; Gonnord, Laure.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Formal methods (Computer science)
Computer System Implementation.
Artificial intelligence.
Software engineering.
Theory of Computation.
Natural language processing (Computer science).
Logic in AI.
Robotics
Data Structures.
Architecture, Computer.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Application software.
Logic programming.
Formal languages
Artificial Intelligence.
Database management.
Special Purpose and Application-Based Systems.
Computer Applications.
Natural Language Processing (NLP).
Computer science.
Machine theory.
Information Storage and Retrieval.
Computers.
Computational complexity
Machine theory
Computational Biology/Bioinformatics.
Computation by Abstract Devices.
Database Management.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Formal Languages and Automata Theory.