JO

Journal of Automated Reasoning

Journal

Springer Science+Business Media

1,427

Publications

37,121

Citations

Loading papers...

Search by keywords

Filter by Type

Article (1,397)
Preprint (19)
Paratext (5)
Editorial (3)
Erratum (3)

Filter by Open Access Type

Open Access (388)
Closed Access (1,039)

Filter by Authors

Larry Wos (54)
Lawrence C. Paulson (21)
Geoff Sutcliffe (19)
Jasmin Christian Blanchette (19)
Jürgen Giesl (16)

Filter by Topics

Logic, programming, and type systems (814)
Logic, Reasoning, and Knowledge (550)
Formal Methods in Verification (497)
Semantic Web and Ontologies (151)
Advanced Algebra and Logic (102)