SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(20 21 REV HIST)影响因子<br> http://impactfactor.cn/2024/if/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(FORM ASP COMPUT)影响因子@(计算机科学,软件工程)学科排名<br> http://impactfactor.cn/2024/ifr/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(20 21 REV HIST)总引论文<br> http://impactfactor.cn/2024/at/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(FORM ASP COMPUT)总引论文@(计算机科学,软件工程)学科排名<br> http://impactfactor.cn/2024/atr/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(20 21 REV HIST)影响因子<br> http://impactfactor.cn/2024/tc/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(FORM ASP COMPUT)总引频次@(计算机科学,软件工程)学科排名<br> http://impactfactor.cn/2024/tcr/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(20 21 REV HIST)即时影响因子<br> http://impactfactor.cn/2024/ii/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(FORM ASP COMPUT)即时影响因子@(计算机科学,软件工程)学科排名<br> http://impactfactor.cn/2024/iir/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(20 21 REV HIST)五年累积影响因子<br> http://impactfactor.cn/2024/5y/?ISSN=0934-5043<br><br> SCIE(SCI)期刊FORMAL ASPECTS OF COMPUTING(FORM ASP COMPUT)五年累积影响因子@(计算机科学,软件工程)学科排名<br> http://impactfactor.cn/2024/5yr/?ISSN=0934-5043<br><br>
http://reply.papertrans.cn/2/101/10036/10036-2.png
Submitted on: 02 November 2013.
Revised on: 24 November 2013.
Accepted on: 15 January 2014.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
http://reply.papertrans.cn/2/101/10036/10036-4.png
Submitted on: 13 August 2024.
Revised on: 17 October 2024.
Accepted on: 06 November 2024.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
http://reply.papertrans.cn/2/101/10036/10036-6.png
Submitted on: 20 September 2003.
Revised on: 28 November 2003.
Accepted on: 11 December 2003.
___________________FORMAL ASPECTS OF COMPUTING---ASSOC COMPUTING MACHINERY
http://reply.papertrans.cn/2/101/10036/10036-8.png
http://reply.papertrans.cn/2/101/10036/10036-9.png
http://reply.papertrans.cn/2/101/10036/10036-10.png