言語
Potapov, Igor.
概観
| 著作: | 1 作品に 3 出版物中に 1 言語 | |
|---|---|---|
タイトル
Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
…で:
Clark Conference ((2005 :); Potapov, Igor.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
…で:
Bojanczyk, Mikolaj.; Clark Conference ((2005 :); Lasota, Slawomir.; Potapov, Igor.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Larsen, Kim Guldstrand.; Potapov, Igor.; SpringerLink (Online service); Srba, Jiri.
(コンピュータ・メディア)
主題
Mathematical Logic and Formal Languages.
Computer logic.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computers.
Computer systems
Formal languages
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Computer science.
Decidability (Mathematical logic)