Lin, Anthony W.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
Potapov, Igor.; Zetzsche, Georg.; Lin, Anthony W.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Algorithms.
Computer science.
Computer Science Logic and Foundations of Programming.
Computer science—Mathematics.
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Logic in AI.
Logic programming.
Machine theory.
Mathematics of Computing.
Software engineering.
Software Engineering.