Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Recursion theory --- Computational complexity --- Machine theory --- Categories (Mathematics) --- Théorie de la récursivité --- Complexité de calcul (Informatique) --- Automates mathématiques, Théorie des --- Catégories (Mathématiques) --- Congresses --- Congrès --- Théorie de la récursivité --- Complexité de calcul (Informatique) --- Automates mathématiques, Théorie des --- Catégories (Mathématiques) --- Congrès --- #TCPW P3.0 --- 681.3*A0 --- 681.3*F1 --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- Computer science --- 681.3*F0 --- 681.3*F3 --- 681.3*F4 --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- 681.3*A0 General --- General --- Computerwetenschap--?*F0 --- Logic, Symbolic and mathematical. --- Computer science. --- Mathematical Logic and Foundations. --- Computer Science, general. --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Langages de programmation --- Programmation système (informatique) --- Recursion theory - Congresses --- Computational complexity - Congresses --- Machine theory - Congresses --- Categories (Mathematics) - Congresses