語系
Potapov, Igor.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
Clark Conference ((2005 :); Potapov, Igor.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
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 /
by:
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)