Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Computer science --- Informatique --- Computer Science --- 681.3*F2 --- 681.3*F32 --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 519.72 --- Computer science. --- Informatics --- Science --- Computer Science. --- Algorithmes --- Sémantique --- graph Algorithms --- Cryptography --- Pattern Matching --- Vlsi --- Complexity --- kolmogorov --- Turing Machines --- Specification --- Temporal Logic --- algebraic --- Database Theory --- Modal Logic --- Formal Models --- Semantics --- Type Systems --- Rewriting --- Sémantique