Logical Methods in Computer Science
Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. Papers on all theoretical and practical areas in computer science involving logical methods are welcome. Copyright is retained by authors.
| Link: | http://www.lmcs-online.org/index.php |
| Verlag: | International Federation for Computational Logic (IFCoLog) ; TU Braunschweig, Inst. f. Theoretische Informatik |
| E-ISSN(s): | 1860-5974 |
| Sprache: | Englisch |
| Zugriff: | frei zugänglich |

