679:
187:
674:
157:
703:
733:
352:
239:
264:
752:
726:
215:
707:
235:
792:
363:
The journal was initially published by the
International Federation for Computational Logic, and then by a dedicated non-profit. It moved to the
458:
719:
777:
787:
772:
757:
182:
602:
433:
256:
170:
395:
211:
29:
762:
592:
340:
145:
34:
782:
629:
408:
767:
483:
87:
509:
161:
462:
391:
638:
544:
252:
166:
149:
75:
55:
364:
336:
279:
597:
403:
288:
273:
693:
227:
689:
686:
387:
369:
120:
116:
348:
49:
634:
437:
746:
413:
330:
130:
314:
678:
178:
333:
99:
564:
375:
606:
111:
295:
223:
572:
673:
399:
244:
344:
196:
309:
657:
487:
536:
378:. In its first year, the journal received 75 submissions.
697:
706:. Further suggestions might be found on the article's
704:
See tips for writing articles about academic journals
565:"Source details: Logical Methods in Computer Science"
347:. It opened to submissions on September 1, 2004. The
301:
286:
271:
207:
195:
141:
127:
110:
96:
86:
74:
66:
61:
48:
40:
28:
374:. platform in 2017. The first editor-in-chief was
186:
434:"Logical Methods in Computer Science - Copyright"
353:Friedrich-Alexander Universität Erlangen-Nürnberg
727:
8:
484:"Logical Methods in Computer Science - Home"
19:
734:
720:
390:/Engineering, Computing & Technology,
18:
386:The journal is abstracted and indexed in
81:Logical Methods in Computer Science e.V.
627:"Logical Methods in Computer Science".
425:
459:"Gmane -- Mail To News And Back Again"
753:Academic journals established in 2005
531:
529:
510:"Logical Methods in Computer Science"
7:
670:
668:
541:Intellectual Property & Science
326:Logical Methods in Computer Science
22:Logical Methods in Computer Science
696:. You can help Knowledge (XXG) by
14:
677:
672:
185:
603:Springer Science+Business Media
396:Science Citation Index Expanded
793:Computer science journal stubs
1:
630:2016 Journal Citation Reports
486:. 2017-02-22. Archived from
461:. 2005-11-29. Archived from
436:. 2018-05-01. Archived from
341:theoretical computer science
35:Theoretical computer science
778:Formal methods publications
119:BY 4.0 (from around 2018),
809:
667:
788:English-language journals
773:Logic in computer science
758:Computer science journals
412:, the journal has a 2016
306:
202:Log. Methods Comput. Sci.
123:BY-ND (until around 2017)
409:Journal Citation Reports
382:Abstracting and indexing
142:Standard abbreviations
685:This article about a
537:"Master Journal List"
763:Open access journals
637:(Science ed.).
508:rzach (2005-10-25).
392:Mathematical Reviews
639:Clarivate Analytics
545:Clarivate Analytics
490:on 22 February 2017
465:on 29 November 2005
406:. According to the
62:Publication details
25:
783:Quarterly journals
593:"Serials Database"
351:is Stefan Milius (
337:scientific journal
715:
714:
598:Zentralblatt MATH
404:Zentralblatt MATH
322:
321:
800:
736:
729:
722:
687:computer science
681:
676:
669:
661:
660:
658:Official website
643:
642:
624:
618:
617:
615:
614:
605:. Archived from
589:
583:
582:
580:
579:
561:
555:
554:
552:
551:
533:
524:
523:
521:
520:
505:
499:
498:
496:
495:
480:
474:
473:
471:
470:
455:
449:
448:
446:
445:
430:
388:Current Contents
373:
310:Journal homepage
292:
276:
267:
191:
189:
188:
133:
121:Creative Commons
117:Creative Commons
102:
26:
23:
16:Academic journal
808:
807:
803:
802:
801:
799:
798:
797:
743:
742:
741:
740:
665:
656:
655:
652:
647:
646:
626:
625:
621:
612:
610:
591:
590:
586:
577:
575:
563:
562:
558:
549:
547:
535:
534:
527:
518:
516:
507:
506:
502:
493:
491:
482:
481:
477:
468:
466:
457:
456:
452:
443:
441:
432:
431:
427:
422:
384:
367:
361:
349:editor-in-chief
287:
282:
272:
243:
210:
209:
165:
144:
143:
134:
129:
103:
98:
82:
21:
17:
12:
11:
5:
806:
804:
796:
795:
790:
785:
780:
775:
770:
768:Logic journals
765:
760:
755:
745:
744:
739:
738:
731:
724:
716:
713:
712:
682:
663:
662:
651:
650:External links
648:
645:
644:
635:Web of Science
619:
584:
569:Scopus preview
556:
525:
500:
475:
450:
424:
423:
421:
418:
383:
380:
360:
357:
320:
319:
318:
317:
315:Online archive
312:
304:
303:
299:
298:
293:
284:
283:
277:
269:
268:
205:
204:
199:
193:
192:
139:
138:
135:
128:
125:
124:
114:
108:
107:
104:
97:
94:
93:
90:
84:
83:
80:
78:
72:
71:
68:
64:
63:
59:
58:
53:
46:
45:
42:
38:
37:
32:
15:
13:
10:
9:
6:
4:
3:
2:
805:
794:
791:
789:
786:
784:
781:
779:
776:
774:
771:
769:
766:
764:
761:
759:
756:
754:
751:
750:
748:
737:
732:
730:
725:
723:
718:
717:
711:
709:
705:
701:
699:
695:
691:
688:
683:
680:
675:
671:
666:
659:
654:
653:
649:
640:
636:
632:
631:
623:
620:
609:on 2017-11-07
608:
604:
600:
599:
594:
588:
585:
574:
570:
566:
560:
557:
546:
542:
538:
532:
530:
526:
515:
511:
504:
501:
489:
485:
479:
476:
464:
460:
454:
451:
440:on 1 May 2018
439:
435:
429:
426:
419:
417:
415:
414:impact factor
411:
410:
405:
401:
397:
393:
389:
381:
379:
377:
371:
366:
358:
356:
354:
350:
346:
342:
338:
335:
332:
331:peer-reviewed
328:
327:
316:
313:
311:
308:
307:
305:
300:
297:
294:
290:
285:
281:
278:
275:
270:
266:
262:
258:
254:
250:
246:
241:
237:
233:
229:
225:
221:
217:
213:
206:
203:
200:
198:
194:
184:
180:
176:
172:
168:
163:
159:
155:
151:
147:
140:
136:
132:
131:Impact factor
126:
122:
118:
115:
113:
109:
105:
101:
95:
91:
89:
85:
79:
77:
73:
69:
65:
60:
57:
56:Stefan Milius
54:
51:
47:
43:
39:
36:
33:
31:
27:
24:
702:
698:expanding it
684:
664:
628:
622:
611:. Retrieved
607:the original
596:
587:
576:. Retrieved
568:
559:
548:. Retrieved
540:
517:. Retrieved
514:Richard Zach
513:
503:
492:. Retrieved
488:the original
478:
467:. Retrieved
463:the original
453:
442:. Retrieved
438:the original
428:
407:
385:
362:
343:and applied
329:(LMCS) is a
325:
324:
323:
260:
248:
231:
219:
201:
174:
153:
137:0.661 (2016)
70:2005–present
20:
368: [
365:Épisciences
334:open access
100:Open access
747:Categories
613:2018-04-10
578:2018-04-10
550:2018-04-10
519:2022-01-18
494:2022-01-18
469:2022-01-18
444:2022-01-18
420:References
416:of 0.661.
376:Dana Scott
179:MathSciNet
30:Discipline
708:talk page
339:covering
296:897996717
291: no.
280:1860-5974
92:Quarterly
88:Frequency
76:Publisher
573:Elsevier
208:Indexing
158:Bluebook
52: by
41:Language
690:journal
641:. 2017.
359:History
259:)
230:)
218:)
173:)
152:)
112:License
67:History
44:English
402:, and
400:Scopus
265:Scopus
261:·
249:·
247:
232:·
220:·
175:·
154:·
50:Edited
692:is a
372:]
345:logic
302:Links
263:
251:
234:
224:JSTOR
222:
212:CODEN
197:ISO 4
177:
156:
146:ISO 4
694:stub
289:OCLC
274:ISSN
245:MIAR
236:LCCN
355:).
257:alt
253:NLM
240:alt
228:alt
216:alt
183:alt
171:alt
167:NLM
162:alt
150:alt
106:Yes
749::
633:.
601:.
595:.
571:.
567:.
543:.
539:.
528:^
512:.
398:,
394:,
370:fr
735:e
728:t
721:v
710:.
700:.
616:.
581:.
553:.
522:.
497:.
472:.
447:.
255:(
242:)
238:(
226:(
214:(
190:)
181:(
169:(
164:)
160:(
148:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.