Languages
Potapov, Igor.
Overview
| Works: | 0 works in 11 publications in 1 languages | |
|---|---|---|
Titles
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); Formenti, Enrico.; Bournez, Olivier.; International Conference on Reachability Problems (2023 :)
(Electronic resources)
Reachability problems = 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); International Conference on Reachability Problems (2021 :); Bell, Paul C.; Totzke, Patrick.
(Electronic resources)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
Kucera, Antonin.; Potapov, Igor.; SpringerLink (Online service)
(Language materials, printed)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
Finkel, Alain.; Leroux, Jerome.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
Bojanczyk, Mikolaj.; Lasota, Slawomir.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); RP (Workshop) (2017 :); Hague, Matthew.
(Electronic resources)
Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
Jungers, Raphael.; Potapov, Igor.; SpringerLink (Online service); RP (Workshop) (2019 :); Filiot, Emmanuel.
(Electronic resources)
Reachability problems = 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); International Conference on Reachability Problems (2020 :); Schmitz, Sylvain.
(Electronic resources)
Reachability problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
International Conference on Reachability Problems (2022 :); Lin, Anthony Widjaja.; Zetzsche, Georg.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
Larsen, Kim Guldstrand.; Potapov, Igor.; SpringerLink (Online service); RP (Workshop) (2016 :); Srba, Jiri.
(Electronic resources)
Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
Potapov, Igor.; SpringerLink (Online service); Ouaknine, Joel.; Worrell, James.
(Electronic resources)
Show more
Fewer
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Computing Methodologies.
Theory of Computation.
Data Structures and Information Theory.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Information Systems and Communication Service.
Logic in AI.
Computer systems- Verification
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computers.
Programming Languages, Compilers, Interpreters.
Computer science- Mathematics
Computer Science Logic and Foundations of Programming.
Coding and Information Theory.
Formal languages
Artificial Intelligence.
The Computing Profession.
Formal Languages and Automata Theory.
Decidability (Mathematical logic)
Graph theory- Data processing
Computer Science.
Discrete Mathematics in Computer Science.
Computer science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Design and Analysis of Algorithms.