search
  • Country
    Clear
  • Compatibility Level
    Clear
  • Type
  • Thematic
  • Jurisdiction

  • FR
  • SG
  • OpenAIRE 3.0 (OA, funding)

  • Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

    more_vert
  • Fundamenta Informaticae, established in 1977, is a peer-reviewed scientific journal covering all areas of computer science, with main focus on theoretical foundations (see the list of topics). The journal is published as Series IV of Annales Societatis Mathematicae Polonae, by the Polish Mathematical Society

    more_vert
  • chevron_left
  • 1
  • 2
  • 3
  • chevron_right
22 Data sources
  • Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

    more_vert
  • Fundamenta Informaticae, established in 1977, is a peer-reviewed scientific journal covering all areas of computer science, with main focus on theoretical foundations (see the list of topics). The journal is published as Series IV of Annales Societatis Mathematicae Polonae, by the Polish Mathematical Society

    more_vert
  • chevron_left
  • 1
  • 2
  • 3
  • chevron_right