來源：學術之家整理 2025-03-18 15:40:28
《Journal Of Logical And Algebraic Methods In Programming》中文名稱：《程序設計中的邏輯和代數方法雜志》，創刊于2014年，由Elsevier BV出版商出版，出版周期6 issues/year。
《編程中的邏輯和代數方法雜志》是一本國際期刊，旨在發表高質量的原創研究論文、調查和評論文章、教程闡述和歷史研究，涉及邏輯和代數方法和技術領域，以保證程序和一般計算系統的正確性和可執行性。將涵蓋所有方面，尤其是理論和基礎、實施問題以及涉及新想法的應用。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, THEORY & METHODS工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| CENTRE NATIONAL DE LA R... | 16 |
| INRIA | 13 |
| UNIVERSITY OF BOLOGNA | 9 |
| UNIVERSITY OF PISA | 9 |
| UNIVERSITAT POLITECNICA... | 8 |
| UNIVERSITY OF LONDON | 8 |
| UNIVERSITY OF OSLO | 8 |
| COMPLUTENSE UNIVERSITY ... | 7 |
| CHALMERS UNIVERSITY OF ... | 5 |
| ROYAL INSTITUTE OF TECH... | 5 |
| 國家/地區 | 發文量 |
| Italy | 35 |
| France | 27 |
| England | 24 |
| GERMANY (FED REP GER) | 23 |
| Spain | 21 |
| USA | 19 |
| Sweden | 16 |
| Norway | 13 |
| Denmark | 12 |
| Netherlands | 12 |
| 文章引用名稱 | 引用次數 |
| Metalevel algorithms for var... | 4 |
| From distributed coordinatio... | 4 |
| On the essence and initialit... | 3 |
| From probability monads to c... | 3 |
| Multilevel coupled model tra... | 3 |
| Model checking and synthesis... | 2 |
| A logic-algebraic tool for r... | 2 |
| Verification of finite-state... | 2 |
| Sequential pattern mining fo... | 2 |
| Axiomatising infinitary prob... | 2 |
| 被引用期刊名稱 | 數量 |
| J LOG ALGEBR METHODS | 47 |
| SCI COMPUT PROGRAM | 7 |
| LOG METH COMPUT SCI | 6 |
| IEEE ACCESS | 5 |
| INT J SOFTW TOOLS TE | 5 |
| ACTA INFORM | 4 |
| FORM ASP COMPUT | 4 |
| MATH STRUCT COMP SCI | 3 |
| THEOR COMPUT SCI | 3 |
| ACM T PRIV SECUR | 2 |
| 引用期刊名稱 | 數量 |
| THEOR COMPUT SCI | 108 |
| J LOG ALGEBR METHODS | 47 |
| INFORM COMPUT | 46 |
| ACM T PROGR LANG SYS | 30 |
| FUND INFORM | 29 |
| COMMUN ACM | 28 |
| J ACM | 28 |
| SCI COMPUT PROGRAM | 28 |
| LOG METH COMPUT SCI | 25 |
| ACTA INFORM | 23 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
