Article,
Introduction.
S. Florio, Ø. Linnebo, S. Walsh, and P. Welch.Notre Dame J. Formal Log., 56 (1): 1-2 (2015)
Meta data
- BibTeX key
- journals/ndjfl/FlorioLWW15
- entry type
- article
- year
- 2015
- journal
- Notre Dame J. Formal Log.
- number
- 1
- pages
- 1-2
- volume
- 56
- ee
- https://doi.org/10.1215/00294527-2835020
- url
- http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#FlorioLWW15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/ndjfl/FlorioLWW15
%A Florio, Salvatore
%A Linnebo, Øystein
%A Walsh, Sean
%A Welch, Philip D.
%D 2015
%J Notre Dame J. Formal Log.
%K dblp
%N 1
%P 1-2
%T Introduction.
%U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#FlorioLWW15
%V 56
@article{journals/ndjfl/FlorioLWW15,
added-at = {2020-05-21T00:00:00.000+0200},
author = {Florio, Salvatore and Linnebo, Øystein and Walsh, Sean and Welch, Philip D.},
biburl = {https://www.bibsonomy.org/bibtex/2660866da309ce9422a4e0afca250ec42/dblp},
ee = {https://doi.org/10.1215/00294527-2835020},
interhash = {8f52d919990312c708cb364c21f69af9},
intrahash = {660866da309ce9422a4e0afca250ec42},
journal = {Notre Dame J. Formal Log.},
keywords = {dblp},
number = 1,
pages = {1-2},
timestamp = {2020-05-23T12:16:29.000+0200},
title = {Introduction.},
url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#FlorioLWW15},
volume = 56,
year = 2015
}