Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Discrete mathematics --- Machine theory --- Formal languages --- Algebra, Abstract --- Formalization (Linguistics) --- Language and languages --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Abstract algebra --- Algebra, Universal --- Set theory --- Machine theory. --- Formal languages. --- Algebra, Abstract. --- Langages formels --- Informatique --- Information, Théorie de l' --- Codage --- Mathématiques --- Automates abstraits