Original language | English |
---|---|
Pages (from-to) | 111-114 |
Number of pages | 4 |
Journal | JOURNAL OF AUTOMATED REASONING |
Volume | 49 |
Issue number | 2 |
DOIs | |
Publication status | Published - Aug 2012 |
Preface: Theory and Applications of Abstraction, Substitution and Naming
Maribel Fernandez, Christian Urban
Research output: Contribution to journal › Editorial › peer-review
1
Citation
(Scopus)