Languages
Schmitz, Sylvain.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Implementation and Application of Automata (vol. # 3845)10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /
by:
(1998 :); Farre, Jacques.; Litovsky, Igor.; Schmitz, Sylvain.; SpringerLink (Online service)
(Electronic resources)
Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(1998 :); Potapov, Igor.; Schmitz, Sylvain.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Data Structures and Information Theory.
Machine theory
Logics and Meanings of Programs.
Mathematics of Computing.
Information Systems and Communication Service.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer systems
Computer science
Artificial Intelligence.
Computer Science.
Decidability (Mathematical logic)
Computer Systems Organization and Communication Networks.