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
Software Engineering.
Computer science—Mathematics.
Logic programming.
Design and Analysis of Algorithms.
Formal Languages and Automata Theory.
Software engineering.
Algorithms.
Computer Science Logic and Foundations of Programming.
Computer science.
Machine theory.
Logic in AI.
Mathematics of Computing.