Entry Hayashi:1998:TEP from tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Hayashi:1998:TEP,
author = "S. Hayashi and M. Ishikawa and S. Kobayashi and H.
Nakano and S. Nakazaki",
title = "Two extensions of {PX} system",
journal = j-THEOR-COMP-SCI,
volume = "197",
number = "1--2",
pages = "244--??",
day = "15",
month = may,
year = "1998",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Wed May 27 07:21:35 MDT 1998",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1995.bib",
acknowledgement = ack-nhfb,
classification = "C4210 (Formal logic)",
conflocation = "Tokyo, Japan; 28 March-2 April 1996",
conftitle = "Linear Logic '96 (papers in summary form only
received)",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "catch/throw logic; ctPX; finite sequences; formal
logic; mvPX; PX system",
pubcountry = "Netherlands",
treatment = "T Theoretical or Mathematical",
xxnote = "Check page numbers: duplicate in adjacent entries",
}
Related entries
- extension,
149(1)67,
149(1)101,
165(1)97,
166(1)263,
166(1)291,
168(2)257,
170(1)209,
175(2)271,
177(2)351,
192(2)201,
198(1)201,
203(2)175,
212(1)77
- sequence,
139(1)27,
143(2)335,
144(1)101,
145(1)291,
145(1)317,
147(1)31,
148(1)1,
150(1)77,
151(1)163,
151(1)277,
155(2)321,
156(1)39,
158(1)35,
158(1)65,
158(1)81,
161(1)289,
163(1)193,
163(1)211,
164(1)165,
165(2)233,
165(2)295,
168(2)267,
168(2)337,
170(1)349,
174(1)67,
174(1)171,
174(1)259,
178(1)155,
180(1)115,
180(1)203,
182(1)145,
182(1)233,
183(1)143,
184(1)61,
185(1)3,
188(1)161,
188(1)195,
191(1)185,
191(1)245,
194(1)240,
194(1)241-2,
194(1)244-2,
205(1)337,
207(2)343,
207(2)363,
209(1)179,
209(1)261,
209(1)377,
210(2)305,
210(2)341,
215(1)31,
218(1)3,
218(1)177,
221(1)41,
225(1)185
- two,
141(1)195,
149(1)179,
154(2)165,
155(1)265,
162(2)323,
164(1)73,
168(1)39,
177(2)487,
180(1)371,
182(1)217,
183(2)187,
197(1)79,
210(1)217,
224(1)73