Potapov, Igor.
Overview
| Works: | 5 works in 13 publications in 1 languages | |
|---|---|---|
Titles
Reachability problems5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(1998 :); Delzanno, Giorgio.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(1998 :); Bournez, Olivier.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(1998 :); Ouaknine, Joel.; Potapov, Igor.; SpringerLink (Online service); Worrell, James.
(Language materials, printed)
Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(1998 :); Hague, Matthew.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(1998 :); Lin, Anthony Widjaja.; Potapov, Igor.; SpringerLink (Online service); Zetzsche, Georg.
(Electronic resources)
Reachability problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(1998 :); Larsen, Kim Guldstrand.; Potapov, Igor.; SpringerLink (Online service); Srba, Jiri.
(Electronic resources)
Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(1998 :); Filiot, Emmanuel.; Jungers, Raphael.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(1998 :); Bournez, Olivier.; Formenti, Enrico.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
(1998 :); Bell, Paul C.; Potapov, Igor.; SpringerLink (Online service); Totzke, Patrick.
(Electronic resources)
Reachability problems9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(1998 :); Bojanczyk, Mikolaj.; Lasota, Slawomir.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(1998 :); Kucera, Antonin.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(1998 :); Finkel, Alain.; Leroux, Jerome.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Reachability problems12th International Conference, RP 2018, Marseille, France, September 24-26, 2018 : proceedings /
by:
(1998 :); Potapov, Igor.; Reynier, Pierre-Alain.; SpringerLink (Online service)
(Electronic resources)
Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(1998 :); Potapov, Igor.; Schmitz, Sylvain.; SpringerLink (Online service)
(Electronic resources)
Developments in language theory19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(1998 :); Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Show more
Fewer
Subjects
Theory of Computation.
Mathematical Logic and Formal Languages.
Software Engineering.
Computer logic.
Computing Methodologies.
Data Structures and Information Theory.
Configurations
Mathematics of Computing.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Logic in AI.
Computer systems
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computers.
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Coding and Information Theory.
Formal languages
Numeric Computing.
Computer science
Artificial Intelligence.
The Computing Profession.
Formal Languages and Automata Theory.
Decidability (Mathematical logic)
Computer Science.
Graph theory
Discrete Mathematics in Computer Science.
Computer science.
Math Applications in Computer Science.
Probability and Statistics in Computer Science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Design and Analysis of Algorithms.