Preface for the special issue of Proof, Structure, and Computation 2014

Dirk Pattinson, Peter Schuster, Ana Sokolova

Research output: Other contributionResearch

Original languageEnglish
PublisherOxford University Press
Edition29 (4)
VolumeJournal of Logic and Computation (JLC)
DOIs
Publication statusPublished - 2019

Publication series

NameJournal of Logic and Computation
PublisherOxford University Press
No.4
Volume29
ISSN (Print)0955-792
ISSN (Electronic)1465-363

Fields of Science and Technology Classification 2012

  • 102 Computer Sciences
  • 101 Mathematics

Cite this