Entry Borghuis:2000:CLS from compj2000.bib
Last update: Sun Mar 31 02:13:37 MDT 2019
Top |
Symbols |
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{Borghuis:2000:CLS,
author = "Tijn Borghuis and Loe Feijs",
title = "A Constructive Logic for Services and Information Flow
in Computer Networks",
journal = j-COMP-J,
volume = "43",
number = "4",
pages = "274--289",
month = "????",
year = "2000",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/43.4.274",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Nov 14 07:02:08 MST 2000",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compj2000.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/430274.sgm.abs.html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/pdf/430274.pdf",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- computer,
0(0)viii--378,
0(0)xi--170,
0(0)xi--420,
0(0)xii--574,
0(0)xiii--483,
0(0)xiii--574,
0(0)xv--387,
0(0)xvi--848,
0(0)xvii--325,
0(0)xviii--240,
0(0)xxi--418,
0(0)xxiii--703,
0(0)xxv--469,
0(0)xxv--672,
0(0)xxvi--590,
0(0)xxx--593,
0(0)xxxii--648,
0(0)xxxvi--412,
0(0)0,
0(0)x--295,
0(0)x--438,
7(0)x--153,
35(0)335,
41(7)445,
44(4)321,
44(4)324,
44(4)326,
46(1)3,
46(5)487,
47(4)399,
47(6)627,
48(6)650,
48(6)662,
49(1)129,
49(1)130,
49(2)136,
49(2)249,
49(3)376,
49(3)378,
49(4)390,
49(4)501,
49(6)762,
50(1)4,
50(2)151,
50(3)254,
50(4)375,
51(1)1,
51(6)688,
51(6)731,
51(6)735,
51(6)741,
51(6)743,
58(0)xvi--358,
z(0)xiv--320,
z(0)xxvi--442
- Flow,
47(1)25,
48(1)17
- Information,
0(0)x--210,
44(4)221,
44(5)410,
45(1)72,
45(4)381,
46(2)202,
47(1)25,
48(1)17,
49(1)4,
49(1)113,
49(1)128,
49(2)252,
49(4)501,
50(4)375,
50(4)460,
50(5)505,
50(6)632,
50(6)694,
51(2)240,
51(4)408,
3306(0)xvii--745
- logic,
0(0)xi--420,
0(0)xv--368,
43(1)1,
44(1)54,
44(2)137,
44(5)410,
45(1)55,
45(4)453,
47(1)71,
47(4)399,
47(4)505,
50(4)403
- network,
0(0)xi--170,
0(0)xvi--848,
0(0)xxxii--648,
43(4)266,
44(1)31,
44(4)221,
44(6)557,
45(1)101,
45(2)147,
45(3)278,
45(3)304,
45(5)525,
46(1)3,
46(4)427,
46(5)467,
47(4)418,
47(4)432,
47(4)448,
47(4)475,
47(4)507,
47(5)579,
48(1)30,
48(1)84,
48(4)499,
49(2)136,
49(2)137,
49(2)190,
49(3)268,
49(4)400,
49(4)443,
49(6)685,
50(2)197,
50(2)204,
50(4)478,
50(5)555,
50(6)717,
51(2)162,
51(2)227,
51(4)511,
51(6)723,
52(2)171,
52(2)186,
52(2)240,
52(2)268,
52(4)397,
52(4)461,
52(4)499,
52(4)510,
52(6)656,
52(6)671
- service,
0(0)viii--378,
0(0)xxiii--703,
0(0)xxxii--648,
0(0)96,
45(6)595,
46(6)713,
47(2)179,
47(2)205,
47(3)342,
47(4)461,
47(4)505,
48(1)126,
48(3)379,
48(4)498,
49(3)258,
49(3)376,
50(1)7,
50(2)204,
50(3)281,
50(5)522,
50(5)535,
50(6)632,
50(6)717,
52(2)210