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
-
1
Resemblance and Representation: An Essay in the Philosophy of Pictures
Published 2014Subjects: “…Formal language…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Resemblance and Representation: An Essay in the Philosophy of Pictures
Published 2014Subjects: “…Formal language…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
3
Advances in Proof-Theoretic Semantics
Published 2016Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
4
Advances in Proof-Theoretic Semantics
Published 2016Subjects: “…Mathematical Logic and Formal Languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Advances in Proof-Theoretic Semantics
Published 2016Subjects: “…Mathematical Logic and Formal Languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021Subjects: “…formal languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021Subjects: “…formal languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
8
In Memoriam, Solomon Marcus
Published 2022Subjects: “…formal language theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
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.…”
Link to Metadata
Electronic eBook -
10
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
11
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
12
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…formal languages…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…formal languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
14
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
15
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
16
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…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
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…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
18
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 -
19
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Published 2018Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook -
20
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Published 2018Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook