JO

Journal of Logic and Computation

Journal

Oxford University Press

2,357

Publications

36,017

Citations

Loading papers...

Search by keywords

Filter by Type

Article (2,213)
Preprint (58)
Editorial (45)
Paratext (23)
Erratum (10)

Filter by Open Access Type

Open Access (587)
Closed Access (1,764)

Filter by Authors

Richard E. Overill (17)
David Pym (15)
Norihiro Kamide (12)
Chris Hankin (11)
Matthias Baaz (11)

Filter by Topics

Logic, Reasoning, and Knowledge (1,626)
Advanced Algebra and Logic (999)
Logic, programming, and type systems (818)
Semantic Web and Ontologies (336)
Formal Methods in Verification (285)