La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Query : CC = 03B70
03-XX Mathematical logic and foundations

• 03B70 Logic in computer science [See also 68-XX]

68-XX Computer science [For papers involving machine computations and programs in a specific mathematical area, see Section -04 in that area]

• 68Q55 Semantics [See also 03B70, 06B35, 18C50]
• 68Q60 Specification and verification (program logics, model checking, etc.) [See also 03B70]

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)