Search Results - "Formal Languages and Automata Theory."
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 24
- Artificial intelligence 20
- Formal Languages and Automata Theory 19
- Machine theory 19
- Software Engineering 19
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- Computer Modelling 5
- Computer simulation 5
- Algorithms 4
- Algorithms & data structures 4
- Computer networking & communications 4
- Computer networks 4
- Computer programming / software development 4
- Computers 3
- Electronic digital computers 3
- Evaluation 3
- Professions 3
- System Performance and Evaluation 3
- The Computing Profession 3
- Coding theory & cryptology 2
- Computer Communication Networks 2
- Computer Engineering and Networks 2
- Computer engineering 2
- Computer modelling & simulation 2
- Computer programming 2
- Databases 2
- Information retrieval 2
- Logic in AI 2
-
21
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
22
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
23
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
24
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021Subjects: “…Formal Languages and Automata Theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
25
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021Subjects: “…Formal Languages and Automata Theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
26
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Formal Languages and Automata Theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
27
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Formal Languages and Automata Theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
28
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Formal Languages and Automata Theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
29
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: “…Formal Languages and Automata Theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter