MS

Mathematical Structures in Computer Science

Journal

Cambridge University Press

1,459

Publications

26,504

Citations

Loading papers...

Search by keywords

Filter by Type

Article (1,361)
Paratext (52)
Preprint (45)
Erratum (3)
Book (2)

Filter by Open Access Type

Open Access (656)
Closed Access (807)

Filter by Authors

Hartmut Ehrig (14)
Thomas Streicher (12)
Jean Goubault-Larrecq (12)
Mariangiola Dezani-Ciancaglini (9)
Qingguo Li (9)

Filter by Topics

Logic, programming, and type systems (740)
Logic, Reasoning, and Knowledge (511)
Formal Methods in Verification (339)
Advanced Algebra and Logic (213)
Computability, Logic, AI Algorithms (198)