Han, Yo-Sub.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Descriptional Complexity of Formal Systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings /
by:
SpringerLink (Online service); Han, Yo-Sub.; Vaszil, György.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional Complexity of Formal Systems = 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings /
by:
Han, Yo-Sub.; SpringerLink (Online service); Ko, Sang-Ki.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
SpringerLink (Online service); Han, Yo-Sub.; Salomaa, Kai.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
Han, Yo-Sub.; SpringerLink (Online service); Salomaa, Kai.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Descriptional complexity of formal systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings /
by:
SpringerLink (Online service); Han, Yo-Sub.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vaszil, György.
(Language materials, printed)
Descriptional Complexity of Formal Systems = 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings /
by:
SpringerLink (Online service); Han, Yo-Sub.; Ko, Sang-Ki.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer science—Mathematics.
Computer engineering.
Formal methods (Computer science)
Artificial intelligence.
Robotics
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial Intelligence.
Formal languages
Computers.
Machine theory
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Data Structures.
Data structures (Computer science).
Computer Science.
Computer Engineering and Networks.
Computer science.
Discrete Mathematics in Computer Science.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.