Journal of Formalized Reasoning

Venue Information

  • issn: 1972-5787
  • access: some or all publications openly available

JFR Home Page

a service of Schloss Dagstuhl - Leibniz Center for Informatics