Search Results

FORMAL ASPECTS OF COMPUTING
E-ISSN: 1433-299X
Publisher: ASSOC COMPUTING MACHINERY

FORMAL METHODS IN SYSTEM DESIGN
E-ISSN: 1572-8102
Publisher: SPRINGER

NOTRE DAME JOURNAL OF FORMAL LOGIC
E-ISSN: 1939-0726
Publisher: DUKE UNIV PRESS

NOTRE DAME JOURNAL OF FORMAL LOGIC
E-ISSN: 1939-0726
Publisher: DUKE UNIV PRESS

Formal Aspects of Computing
E-ISSN: 1433299X
Publisher: Association for Computing Machinery

Formal Methods in System Design
E-ISSN: 15728102
Publisher: Kluwer Academic Publishers

Notre Dame Journal of Formal Logic
E-ISSN:
Publisher: Duke University Press

Not getting the journal you are searching for? So it most likely not indexed in Scopus, WOS, PubMed, DOAJ, UGC CARE.

You might also try:

  1. Enter the correct title.
  2. Check the spelling of the words
  3. Make sure you have added spaces between words







Top 20 Journals

Credit and Source: Scopus, Clarivate, UGC CARE.