An overview of the K semantic framework

DOI Web Site Web Site 被引用文献4件

収録刊行物

The Journal of Logic and Algebraic Programming

The Journal of Logic and Algebraic Programming 79 (6), 397-434, 2010-08

Elsevier BV

被引用文献 (4)*注記

もっと見る

詳細情報詳細情報について

CRID

1360857597061144192
DOI

10.1016/j.jlap.2010.03.012
ISSN

15678326
Web Site

https://api.elsevier.com/content/article/PII:S1567832610000160?httpAccept=text/xml

https://api.elsevier.com/content/article/PII:S1567832610000160?httpAccept=text/plain
データソース種別
- Crossref

書き出し

問題の指摘

ページトップへ