MOURN
发表于 2025-3-21 17:35:25
书目名称Semantics of Specification Languages (SoSL)影响因子(影响力)<br> http://impactfactor.cn/2024/if/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)影响因子(影响力)学科排名<br> http://impactfactor.cn/2024/ifr/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)网络公开度<br> http://impactfactor.cn/2024/at/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)网络公开度学科排名<br> http://impactfactor.cn/2024/atr/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)被引频次<br> http://impactfactor.cn/2024/tc/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)被引频次学科排名<br> http://impactfactor.cn/2024/tcr/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)年度引用<br> http://impactfactor.cn/2024/ii/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)年度引用学科排名<br> http://impactfactor.cn/2024/iir/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)读者反馈<br> http://impactfactor.cn/2024/5y/?ISSN=BK0864746<br><br> <br><br>书目名称Semantics of Specification Languages (SoSL)读者反馈学科排名<br> http://impactfactor.cn/2024/5yr/?ISSN=BK0864746<br><br> <br><br>
关心
发表于 2025-3-21 21:26:17
From Implicit via Inductive to Explicit Definitions,This paper reports on a method to provide general implicit descriptions with a sound logical semantics. This method has been applied in the specification languages COLD and VVSL.
夹死提手势
发表于 2025-3-22 01:34:50
Verifying Process Algebra Proofs in Type Theory,In this paper we study automatic verification of proofs in process algebra. Formulas of process algebra are represented by types in typed λ-calculus. Inhabitants (terms) of these types represent proofs. The specific typed λ-calculus we use is the . as implemented in the interactive proof construction program Coq.
Ataxia
发表于 2025-3-22 08:08:00
978-3-540-19854-3British Computer Society 1994
谈判
发表于 2025-3-22 10:20:16
http://reply.papertrans.cn/87/8648/864746/864746_5.png
dissolution
发表于 2025-3-22 13:27:56
http://reply.papertrans.cn/87/8648/864746/864746_6.png
CLAM
发表于 2025-3-22 18:17:47
http://reply.papertrans.cn/87/8648/864746/864746_7.png
Aura231
发表于 2025-3-23 00:41:48
https://doi.org/10.1007/978-1-4471-3229-5design; development; language; logic; process algebra; proof theory; semantics
Root494
发表于 2025-3-23 03:59:09
http://reply.papertrans.cn/87/8648/864746/864746_9.png
Pedagogy
发表于 2025-3-23 05:33:52
http://reply.papertrans.cn/87/8648/864746/864746_10.png