| 68-XX | | Prev: 65 | Up: Top | Next: 70 | |
| Computer science [xref: 03B70, 52B45] | |
| {For papers involving machine computations and programs in a specific mathematical area, see Section -04 in that area} |
68-00
| General reference works (handbooks, dictionaries, bibliographies, etc.)
| 68-01
| Instructional exposition (textbooks, tutorial papers, etc.)
| 68-02
| Research exposition (monographs, survey articles)
| 68-03
| Historical (must also be assigned at least one classification number from Section 01)
| 68-04
| Explicit machine computation and programs (not the theory of computation or programming)
| 68-06
| Proceedings, conferences, collections, etc.
| |
68Mxx
| Computer system organization
| 68M01 |
General
| 68M07 |
Mathematical problems of computer architecture
| 68M10 |
Network design and communication [See also 90B18, 68R10]
[xref: 90B18]
| 68M12 |
Network protocols
| 68M14 |
Distributed systems
| 68M15 |
Reliability, testing and fault tolerance [See also 94C12]
| 68M20 |
Performance evaluation; queueing; scheduling [See also 60K25, 90Bxx]
[xref: 60K25, 90B22, 90B35, 90B36]
| 68M99 |
None of the above, but in this section
| |
68Nxx
| Software
| 68N01 |
General
| 68N15 |
Programming languages
| 68N17 |
Logic programming
| 68N18 |
Functional programming and lambda calculus [See also 03B40]
[xref: 03B40]
| 68N19 |
Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.)
| 68N20 |
Compilers and interpreters
| 68N25 |
Operating systems
| 68N30 |
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
| 68N99 |
None of the above, but in this section
| |
68Pxx
| Theory of data
| 68P01 |
General
| 68P05 |
Data structures
| 68P10 |
Searching and sorting
| 68P15 |
Database theory
| 68P20 |
Information storage and retrieval
| 68P25 |
Data encryption [See also 94A60, 81P68]
[xref: 94A60]
| 68P30 |
Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) [See also 94Axx]
[xref: 94A29]
| 68P99 |
None of the above, but in this section
| |
68Qxx
| Theory of computing
[xref: 18B20]
| 68Q01 |
General
| 68Q05 |
Models of computation (Turing machines, etc.) [See also 03D10, 81P68]
[xref: 03D10, 81P68]
| 68Q10 |
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) [See also 68Q85]
| 68Q15 |
Complexity classes (hierarchies, relations among complexity classes, etc.) [See also 03D15, 68Q17, 68Q19]
[xref: 03C13, 03D15, 68Q17]
| 68Q17 |
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) [See also 68Q15]
[xref: 03D15, 68Q15]
| 68Q19 |
Descriptive complexity and finite models [See also 03C13]
[xref: 03C13, 68Q15]
| 68Q25 |
Analysis of algorithms and problem complexity [See also 68W40]
[xref: 11Y16, 65Y20, 68W40, 90C60]
| 68Q30 |
Algorithmic information theory (Kolmogorov complexity, etc.)
| 68Q32 |
Computational learning theory [See also 68T05]
[xref: 68T05]
| 68Q42 |
Grammars and rewriting systems
| 68Q45 |
Formal languages and automata [See also 03D05, 68Q70, 94A45]
[xref: 03D05, 94A45]
| 68Q55 |
Semantics [See also 03B70, 06B35, 18C50]
[xref: 06B35, 18C50]
| 68Q60 |
Specification and verification (program logics, model checking, etc.) [See also 03B70]
| 68Q65 |
Abstract data types; algebraic specification [See also 18C50]
[xref: 18C50]
| 68Q70 |
Algebraic theory of languages and automata [See also 18B20, 20M35]
[xref: 03D05, 20F10, 20M35, 68Q45]
| 68Q80 |
Cellular automata [See also 37B15]
| 68Q85 |
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
[xref: 68Q10]
| 68Q99 |
None of the above, but in this section
| |
68Rxx
| Discrete mathematics in relation to computer science
| 68R01 |
General
| 68R05 |
Combinatorics
| 68R10 |
Graph theory [See also 05Cxx, 90B10, 90B35, 90C35]
[xref: 05C85, 68M10, 94C15]
| 68R15 |
Combinatorics on words
[xref: 03D05, 03D40, 08A50]
| 68R99 |
None of the above, but in this section
| |
68Txx
| Artificial intelligence
| 68T01 |
General
| 68T05 |
Learning and adaptive systems [See also 68Q32, 91E40]
[xref: 68Q32, 82C32, 91E40, 92B20]
| 68T10 |
Pattern recognition, speech recognition {For cluster analysis, see 62H30}
[xref: 62H30]
| 68T15 |
Theorem proving (deduction, resolution, etc.) [See also 03B35]
[xref: 03B35]
| 68T20 |
Problem solving (heuristics, search strategies, etc.)
| 68T27 |
Logic in artificial intelligence
[xref: 03B52]
| 68T30 |
Knowledge representation
| 68T35 |
Languages and software systems (knowledge-based systems, expert systems, etc.)
| 68T37 |
Reasoning under uncertainty
[xref: 03B52]
| 68T40 |
Robotics [See also 93C85]
[xref: 70B15, 70E60, 93C85]
| 68T45 |
Machine vision and scene understanding
| 68T50 |
Natural language processing [See also 03B65]
[xref: 03B65, 20M35, 91F20]
| 68T99 |
None of the above, but in this section
| |
68Uxx
| Computing methodologies and applications
[xref: 52B55]
| 68U01 |
General
| 68U05 |
Computer graphics; computational geometry [See also 65D18]
[xref: 52C45, 65D18]
| 68U07 |
Computer-aided design [See also 65D17]
[xref: 51N05, 65D17]
| 68U10 |
Image processing
[xref: 94A08]
| 68U15 |
Text processing; mathematical typography
| 68U20 |
Simulation [See also 65Cxx]
[xref: 65C20]
| 68U35 |
Information systems (hypertext navigation, interfaces, decision support, etc.)
| 68U99 |
None of the above, but in this section
| |
68Wxx
| Algorithms {For numerical algorithms, see 65-XX; for combinatorics and graph theory, see 68Rxx}
| 68W01 |
General
| 68W05 |
Nonnumerical algorithms
[xref: 05C85]
| 68W10 |
Parallel algorithms
| 68W15 |
Distributed algorithms
| 68W20 |
Randomized algorithms
| 68W25 |
Approximation algorithms
| 68W30 |
Symbolic computation and algebraic computation [See also 11Yxx, 12Y05, 13Pxx, 14Qxx, 16Z05, 17-08, 33F10]
[xref: 13Pxx, 14Qxx, 16Z05, 33F10]
| 68W35 |
VLSI algorithms
| 68W40 |
Analysis of algorithms [See also 68Q25]
[xref: 68Q25]
| 68W99 |
None of the above, but in this section
| |