Journal of Applied Non-Classical Logics
ISSN | 1166-3081 (print) 1958-5780 (web) |
|---|---|
| Links | |
Journal of Applied Non-Classical Logics is a
, in particular formal aspects (completeness, decidability, complexity), applications toprogram verification, program synthesis). The journal was established in 1991 by Luis Fariñas del Cerro, who was its editor-in-chief
until 2014.
He was succeeded in 2015 by Andreas Herzig.
External links
  | This article about a philosophy journal is a stub. You can help Wikipedia by expanding it. See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page. |