HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:formal semantics

Papers
Propositional Forms of Judgemental Interpretations
Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis
EasyChair Preprint no. 221
Expression Compatibility Problem
Seyed Hossein Haeri and Sibylle Schupp
In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Copyright © 2012-2023 easychair.org. All rights reserved.