Preface to the Special Issue on Linearity

Iliano Cervesato*, Maribel Fernández

*Corresponding author for this work

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish
Pages (from-to)809-811
Number of pages3
JournalJOURNAL OF AUTOMATED REASONING
Volume63
Issue number4
DOIs
Publication statusPublished - 1 Dec 2019

Cite this