book chapter · Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano) · 2014

Multiple-conclusion rules, hypersequents syntax and step frames

Ghilardi, S.

Cited by 0Open access

Abstract

The index has no abstract for this paper.

Cite this paper

Ghilardi, S. (2014). Multiple-conclusion rules, hypersequents syntax and step frames. Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano).

MLA 9

Ghilardi, S. “Multiple-conclusion rules, hypersequents syntax and step frames.” Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano), 2014.

Chicago

Ghilardi, S. 2014. “Multiple-conclusion rules, hypersequents syntax and step frames.” Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano).

Harvard

Ghilardi, S. (2014) ‘Multiple-conclusion rules, hypersequents syntax and step frames’, Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano).

BibTeX

@incollection{ghilardi2014multiple,
  title = {{Multiple-conclusion rules, hypersequents syntax and step frames}},
  author = {Ghilardi, S.},
  booktitle = {Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)},
  year = {2014}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.