Preface: Theory and Applications of Abstraction, Substitution and Naming

Maribel Fernandez, Christian Urban

Research output: Contribution to journalEditorialpeer-review

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)111-114
Number of pages4
JournalJOURNAL OF AUTOMATED REASONING
Volume49
Issue number2
DOIs
Publication statusPublished - Aug 2012

Cite this