Document Actions
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.
| URL: | http://www.lmcs-online.org/index.php |
| Publisher: | International Federation for Computational Logic (IFCoLog) ; TU Braunschweig, Inst. f. Theoretische Informatik |
| E-ISSN(s): | 1860-5974 |
| Language: | English |
| Access: | free |