Logical Methods in Computer Science: Impact Factor 2026, Indexing and Published Papers