Journal of Logic and Computation
Jump to navigation
Jump to search
Discipline | Computer science |
---|---|
Language | English |
Edited by | Dov Gabbay |
Publication details | |
History | 1990–present |
Publisher | |
Frequency | Bimonthly |
Standard abbreviations | |
ISO 4 | J. Log. Comput. |
Indexing | |
ISSN | 0955-792X (print) 1465-363X (web) |
Links | |
The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press under licence from Professor Dov Gabbay as owner of the journal.
External links
Categories:
- Use dmy dates from April 2022
- Articles with short description
- Short description is different from Wikidata
- Bimonthly journals (infobox)
- Academic journals established in 1990
- Computer science journals
- Logic journals
- Logic in computer science
- Formal methods publications
- Oxford University Press academic journals
- Bimonthly journals
- English-language journals
- All stub articles
- Computer science journal stubs