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

Dirk Pattinson, Peter Schuster, Ana Sokolova

Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

Originalsprache	Englisch
Herausgeber/in (Verlag)	Oxford University Press
Auflage	29 (4)
Band	Journal of Logic and Computation (JLC)
DOIs	https://doi.org/10.1093/logcom/exw007
Publikationsstatus	Veröffentlicht - 2019

Name	Journal of Logic and Computation
Herausgeber/in (Verlag)	Oxford University Press
Nr.	4
Band	29
ISSN (Druck)	0955-792
ISSN (elektronisch)	1465-363

Systematik der Wissenschaftszweige 2012

@misc{ee6d765d65a94cefa198345369f7013f,

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

author = "Dirk Pattinson and Peter Schuster and Ana Sokolova",

year = "2019",

doi = "10.1093/logcom/exw007",

language = "English",

volume = "Journal of Logic and Computation (JLC)",

series = "Journal of Logic and Computation",

publisher = "Oxford University Press",

number = "4",

edition = "29 (4)",

type = "Other",

}