Following fields are empty!

1
Search
2
Select
3
Submit
39
Journals
Page 1 of 2
Go to Next Page

Request Journal

Please fill in the form to request a new journal to be added. We will review your request and add it to the Journal Guide as soon as possible.

*

ACM Transactions on Computational Logic

ISSN: 1529-3785eISSN: 1557-945X
Publisher: Association for Computing Machinery (ACM)
Visit Publisher homepageVisit journal homepage
Computer Science(all)Computational MathematicsLogicTheoretical Computer Science

For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, and Dana Scott (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).

Read more
Loading data ...
Compliant Options - Provided by Journal Checker Tool

Hybrid Journal

Go ahead and submit. Remember to select a CC BY licence to ensure compliance.

Transformative Agreement

Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.

Transformative Journal

Select the open access publishing option with a CC BY license to ensure compliance.

Full Open Access

Go ahead and submit. Remember to select a CC BY license to ensure compliance.

Self-Archiving

Following acceptance, please deposit your author accepted manuscript in a repository without embargo.

Self-Archiving using Rights Retention

Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.

Unfortunately, this journal has no Plan-S compliant options - Provided by Journal Checker Tool

Go to Journal

AUSTRALASIAN JOURNAL OF LOGIC

ISSN: 1448-5052eISSN: 1448-5052
Publisher: AUSTRALASIAN ASSOC LOGIC
Mathematics(all)Logic
Compliant Options - Provided by Journal Checker Tool

Hybrid Journal

Go ahead and submit. Remember to select a CC BY licence to ensure compliance.

Transformative Agreement

Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.

Transformative Journal

Select the open access publishing option with a CC BY license to ensure compliance.

Full Open Access

Go ahead and submit. Remember to select a CC BY license to ensure compliance.

Self-Archiving

Following acceptance, please deposit your author accepted manuscript in a repository without embargo.

Self-Archiving using Rights Retention

Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.

Unfortunately, this journal has no Plan-S compliant options - Provided by Journal Checker Tool

Algebra and Logic

ISSN: 0002-5232eISSN: 1573-8302
Publisher: Springer
Visit Publisher homepageVisit journal homepage
Mathematics(all)AnalysisLogic

This journal publishes results of the latest research in the areas of modern general algebra and of logic considered primarily from an algebraic viewpoint. The algebraic papers, constituting the major part of the contents, are concerned with studies in such fields as ordered, almost torsion-free, nilpotent, and metabelian groups; isomorphism rings; Lie algebras; Frattini subgroups; and clusters of algebras. In the area of logic, the periodical covers such topics as hierarchical sets, logical automata, and recursive functions. Algebra and Logic is a translation of the peer-reviewed journal Algebra I Logika, a publication of the Siberian Fund for Algebra and Logic and the Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences. More information is available at the editor's website via the following link:http://math.nsc.ru/~alglog/

Read more
Loading data ...
Compliant Options - Provided by Journal Checker Tool

Hybrid Journal

Go ahead and submit. Remember to select a CC BY licence to ensure compliance.

Transformative Agreement

Select the open access publishing option with a https://creativecommons.org/licenses/by/2.0/ license to ensure compliance.

Transformative Journal

Select the open access publishing option with a CC BY license to ensure compliance.

Full Open Access

Go ahead and submit. Remember to select a CC BY license to ensure compliance.

Self-Archiving

Following acceptance, please deposit your author accepted manuscript in a repository without embargo.

Self-Archiving using Rights Retention

Your funder’s grant conditions set out how you can retain sufficient rights to self-archive the Author Accepted Manuscript in any OA repository. Publishing fees do not apply with this route.

Unfortunately, this journal has no Plan-S compliant options - Provided by Journal Checker Tool

Institutional Agreement

Les auteurs correspondants des Hospices Civils de Lyon ont la possibilité de publier leurs articles de recherches en Open Access dans cette revue. Pour bénéficier de cette prise en charge, déclarez les "Hospices Civils de Lyon" dans votre affiliation principale et utilisez votre adresse mail "@chu-lyon.fr" lors de la soumission de votre article.

L'éditeur précise les consignes suivantes à respecter lors de la soumission via sa plateforme:

  1. Utilisez votre adresse mail "@chu-lyon.fr" lors de la soumission de votre article
  2. Vérifiez que les Hospices Civils de Lyon apparaissent bien dans la zone "Institution"
  3. Liez votre ORCID à votre compte
  4. Si possible, réalisez la soumission depuis un ordinateur relié au réseau des HCL

ATTENTION:

  • Si l'éditeur vous demande de sélectionner la licence applicable, privilégiez la licence CC-BY à toutes autres.
  • L'accord porte uniquement sur les types d'articles suivants: "Article original", "Article de synthèse".
  • Veuillez noter que les types d'articles suivants ne sont pas couverts par cet accord : "Communication brève" et "Formation continue".
  • Cet accord ne concerne pas les revues Nature et BioMed Central (BMC).
  • Les articles publiés en accès ouvert immédiat au titre de l’accord peuvent être déposés dans leur version finale éditeur dans une archive ouverte, par exemple dans HAL-HCL.
  • Dans le cas des articles sous abonnement, il est permis par la Loi République numérique de déposer dans une archive ouverte le manuscrit auteur accepté d’un article et de le diffuser avec un embargo de 6 mois (sciences dures) ou 12 mois (SHS).

Si vous rencontrez des difficultés ou si vous avez des questions, contactez la Documentation Centrale sur sa.documentationcentrale@chu-lyon.fr ou au 04-72-11-29-99 (31-29-99)