Lin, Anthony Widjaja.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(1998 :); Lin, Anthony Widjaja.; Potapov, Igor.; SpringerLink (Online service); Zetzsche, Georg.
(Electronic resources)
Programming languages and systems17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings /
by:
(1998 :); Lin, Anthony Widjaja.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Logics and Meanings of Programs.
Logic in AI.
Mathematics of Computing.
Programming Techniques.
Computer systems
Programming languages (Electronic computers)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
The Computing Profession.
Computer science
Formal Languages and Automata Theory.
System Performance and Evaluation.
Decidability (Mathematical logic)
Design and Analysis of Algorithms.