Flajolet Lecture Prize 1970-01-01
Read the full article
Formal language 1970-01-01
Read the full article
Formal methods 1970-01-01
Read the full article
Formal verification 1970-01-01
Read the full article
French Institute for Research in Computer Science and Automation 1970-01-01
Read the full article
Full-employment theorem 1970-01-01
Read the full article
Fundamenta Informaticae 1970-01-01
Read the full article
Grammar systems theory 1970-01-01
Read the full article
Granular computing 1970-01-01
Read the full article
Gödel Prize 1970-01-01
Read the full article
Indirect self-reference 1970-01-01
Read the full article
Interactive computation 1970-01-01
Read the full article
Journal of Automata, Languages and Combinatorics 1970-01-01
Read the full article
Knowledge Based Software Assistant 1970-01-01
Read the full article
Knuth Prize 1970-01-01
Read the full article
Level ancestor problem 1970-01-01
Read the full article
Lowest common ancestor 1970-01-01
Read the full article
Machine learning in physics 1970-01-01
Read the full article
Manifold hypothesis 1970-01-01
Read the full article
Monge array 1970-01-01
Read the full article