Search Results - "formal language"
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 35
- Artificial intelligence 34
- Software Engineering 31
- Formal Languages and Automata Theory 19
- Machine theory 19
- Computer networking & communications 16
- Computer programming / software development 16
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- Mathematical theory of computation 10
- Algorithms & data structures 8
- Computer modelling & simulation 6
- Computer Modelling 5
- Computer simulation 5
- Algorithms 4
- Computer networks 4
- Network hardware 4
- Programming & scripting languages: general 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 hardware 2
-
21
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.…”
Link to Metadata
Electronic eBook -
22
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
23
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published 2023Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
24
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
25
The Everyday Life of an Algorithm
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
26
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
27
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
28
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
29
The Amazing Journey of Reason from DNA to Artificial Intelligence /
Published 2020Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
30
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
31
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 -
32
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 -
33
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…formal languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
34
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…formal languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
35
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…formal languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
36
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Published 2022Subjects: “…formal languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
37
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: “…formal languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
38
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: “…formal languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
39
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Published 2022Subjects: “…formal languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
40
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…formal languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter