Artemov, Sergei.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer scienceinternational symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer scienceInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer scienceInternational Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer scienceInternational Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Programming Techniques.
Computer logic
Programming Languages, Compilers, Interpreters.
Computer science
Artificial Intelligence.
Logic, Symbolic and mathematical
Computer Science.
Arithmetic and Logic Structures.
Symbolic and Algebraic Manipulation.