Languages
Moreira, Nelma.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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)
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.; Cerone, Antonio.; Campos, José.; Kutrib, Martin.; Moreira, Nelma.; 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]
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]
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.; Cerone, Antonio.; Campos, José.; Farrell, Marie.; Dongol, Brijesh.; Kutrib, Martin.; Moreira, Nelma.; 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.
Robotics
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Application software.
Formal languages
Artificial Intelligence.
Computer Applications.
Natural Language Processing (NLP).
Machine theory.
Information Storage and Retrieval.
Computers.
Machine theory
Database Management.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Formal Languages and Automata Theory.
Logic in AI.
Natural language processing (Computer science).
Data Structures.
Architecture, Computer.
Computer Science.
Special purpose computers.
Logic programming.
Database management.
Special Purpose and Application-Based Systems.
Computer science.
Computational complexity
Computational Biology/Bioinformatics.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.