來源：學(xué)術(shù)之家整理 2025-03-18 15:40:28
《Journal Of Logical And Algebraic Methods In Programming》中文名稱：《程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志》，創(chuàng)刊于2014年，由Elsevier BV出版商出版，出版周期6 issues/year。
《編程中的邏輯和代數(shù)方法雜志》是一本國際期刊，旨在發(fā)表高質(zhì)量的原創(chuàng)研究論文、調(diào)查和評論文章、教程闡述和歷史研究，涉及邏輯和代數(shù)方法和技術(shù)領(lǐng)域，以保證程序和一般計(jì)算系統(tǒng)的正確性和可執(zhí)行性。將涵蓋所有方面，尤其是理論和基礎(chǔ)、實(shí)施問題以及涉及新想法的應(yīng)用。
旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國內(nèi)外COMPUTER SCIENCE, THEORY & METHODS工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動態(tài)等。
| 機(jī)構(gòu)名稱 | 發(fā)文量 |
| 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 |
| 國家/地區(qū) | 發(fā)文量 |
| Italy | 35 |
| France | 27 |
| England | 24 |
| GERMANY (FED REP GER) | 23 |
| Spain | 21 |
| USA | 19 |
| Sweden | 16 |
| Norway | 13 |
| Denmark | 12 |
| Netherlands | 12 |
| 文章引用名稱 | 引用次數(shù) |
| 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 |
| 被引用期刊名稱 | 數(shù)量 |
| 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 |
| 引用期刊名稱 | 數(shù)量 |
| 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 |
聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識整合。如有錯(cuò)漏請聯(lián)系我們，我們將及時(shí)更正。
