コンピュータサイエンスにおける論理的手法

*コンピュータサイエンスにおける論理的手法*
規律	理論計算機科学
言語	英語
編集者	ステファン・ミリウス
出版の詳細
歴史	2005年～現在
出版社	コンピュータサイエンスにおける論理的手法 eV
頻度	四半期ごと
オープンアクセス	はい
ライセンス	クリエイティブ・コモンズBY 4.0（2018年頃から）、クリエイティブ・コモンズBY-ND（2017年頃まで）
インパクトファクター	0.661 (2016)
標準略語;
ISO4 規格	Log. メソッドコンピューティングサイエンス
インデックス作成;
国際郵便	1860-5974;
OCLC 番号	897996717
リンク
	ジャーナルホームページ; オンラインアーカイブ;

歴史

このジャーナルは当初、国際計算論理連盟によって発行され、その後、非営利団体によって発行されました。2017年にÉpisciences [fr]プラットフォームに移行しました。 ^[3]初代編集長はダナ・スコットでした。初年度、このジャーナルには75件の投稿がありました。^[4]

このジャーナルは、Current Contents /Engineering, Computing & Technology、^[5] Mathematical Reviews、Science Citation Index Expanded、^[5] Scopus、^[6] Zentralblatt MATHに抄録および索引付けされています。^[7]Journal Citation Reportsによると、このジャーナルの2016年のインパクトファクターは0.661です。^[8]

^ “Logical Methods in Computer Science - Copyright”. 2018-05-01. 2018年5月1日時点のオリジナルよりアーカイブ。2022年1月18日閲覧。
^ “Gmane -- Mail To News And Back Again”. 2005年11月29日. 2005年11月29日時点のオリジナルよりアーカイブ。2022年1月18日閲覧。
^ “Logical Methods in Computer Science - Home”. 2017年2月22日. 2017年2月22日時点のオリジナルよりアーカイブ。2022年1月18日閲覧。
^ rzach (2005-10-25). 「Logical Methods in Computer Science」. Richard Zach . 2022年1月18日閲覧。
^ ab 「マスタージャーナルリスト」。知的財産と科学。クラリベイト・アナリティクス。 2018年4月10日閲覧。
^ 「ソースの詳細: コンピュータサイエンスにおける論理的手法」。Scopusプレビュー。Elsevier。2018年 4 月 10日閲覧。
^ 「Serials Database」。Zentralblatt MATH。Springer Science +Business Media。2017年11月7日時点のオリジナルよりアーカイブ。2018年4月10日閲覧。
^ 「コンピュータサイエンスにおける論理的手法」。2016 Journal Citation Reports。Web of Science（サイエンス編集）。クラリベイト・アナリティクス。2017年。