Search Results

[PHYS.ASTR.CO]Physics [physics]/Astrophysics [astro-ph]/Cosmology and Extra-Galactic Astrophysics [astro-ph.CO] [SDU.ASTR.CO]Sciences of the Universe [physics]/Astrophysics [astro-ph]/Cosmology and Extra-Galactic Astrophysics [astro-ph.CO] Algorithmic complexity Polynomial systems Tropical geometry Zero-sum games [MATH]Mathematics [math] Discrete logarithm [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT] finite field number field sieve ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.0: Data description languages (DDL) ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.1: Data manipulation languages (DML) ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages Databases Evolutionary Computation Multi-Objective Optimization Query Optimization Semantic Web Theory [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB] [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA] [SCCO.COMP]Cognitive science/Computer science ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis Session types [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] computer security logics of programs pi calculus