TJ
The Journal of Logic Programming
JournalElsevier BV
660
Publications
31,194
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (595)
- Paratext (63)
- Editorial (1)
- Erratum (1)
Filter by Open Access Type
- Open Access (62)
- Closed Access (598)
Filter by Authors
- Saumya Debray (11)
- Danny De Schreye (10)
- Michael Codish (10)
- Maurice Bruynooghe (7)
- John W. Lloyd (7)
Filter by Topics
- Logic, programming, and type systems (356)
- Logic, Reasoning, and Knowledge (322)
- Formal Methods in Verification (181)
- Diverse Scientific and Economic Studies (123)
- Human auditory perception and evaluation (121)