Entry Coulter:1987:ITC from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
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{Coulter:1987:ITC,
author = "N. S. Coulter and R. B. Cooper and M. K. Solomon",
title = "Information-theoretic Complexity of Program
Specifications",
journal = j-COMP-J,
volume = "30",
number = "3",
pages = "223--227",
month = jun,
year = "1987",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/30.3.223",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:23 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/30/3.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/",
URL = "http://comjnl.oxfordjournals.org/content/30/3/223.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/223.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/224.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/225.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/226.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/227.tif",
acknowledgement = ack-nhfb,
affiliation = "Florida Atlantic Univ, Boca Raton, FL, USA",
affiliationaddress = "Florida Atlantic Univ, Boca Raton, FL, USA",
classcodes = "C4240 (Programming and algorithm theory)",
classification = "723",
corpsource = "Dept. of Comput. and Inf. Syst., Florida Atlantic
Univ., Boca Raton, FL, USA",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "complexity; computational complexity; computer
metatheory --- Programming Theory; computer
programming; entropy; entropy metric; information
theory; information-theoretic complexity;
information-theoretic measure; metrics; problem space;
problem-space formalisation; program specifications;
program verification; programming; programming
difficulty; Theory; theory",
treatment = "T Theoretical or Mathematical",
}
Related entries
- complexity,
25(1)63,
25(3)379,
26(3)224,
26(4)293,
26(4)354,
27(1)72,
27(2)135,
27(4)315,
27(4)340,
28(1)5,
28(1)78,
28(5)487,
28(5)496,
29(2)103,
29(2)161,
29(2)176,
29(2)182,
29(4)300,
29(4)322,
29(4)330,
29(5)451,
30(1)43,
30(2)176,
30(3)201,
30(3)233,
30(3)258,
30(3)282,
30(4)308,
30(4)376,
30(5)433,
31(1)56,
31(1)71,
31(1)83,
31(3)283,
31(4)289,
31(6)490,
31(6)545,
31(6)553,
31(6)561,
31(6)567,
32(4)362,
32(5)474
- computational,
23(2)123,
23(2)187,
26(2)164,
26(3)224,
26(4)293,
26(4)354,
27(1)72,
27(2)135,
27(4)315,
27(4)375,
28(3)335,
28(4)433,
28(5)496,
29(1)76,
29(2)103,
29(2)176,
29(4)322,
29(4)330,
29(4)373,
29(5)467,
30(1)43,
30(1)87,
30(2)176,
30(3)201,
30(3)233,
30(3)282,
30(4)376,
30(5)433,
31(1)56,
31(1)71,
31(1)83,
31(3)283,
31(4)289,
31(6)490,
31(6)545,
31(6)553,
31(6)561,
31(6)567,
32(1)93,
32(4)377,
32(5)453,
32(5)474
- entropy,
25(2)183,
27(1)67,
28(4)353,
30(2)149
- formalisation,
30(2)97
- measure,
25(3)379,
27(4)301,
27(4)340,
29(1)47,
30(1)52,
30(3)228,
30(4)362
- metatheory,
23(1)34,
23(3)243,
27(4)376,
28(1)9,
28(3)195,
28(3)250,
28(3)257,
28(5)474,
28(5)487,
29(1)24,
29(1)76,
29(2)103,
29(2)161,
29(2)187,
29(5)404,
29(6)481,
29(6)531,
29(6)538,
29(6)545,
30(1)8,
30(1)27,
30(1)43,
30(2)134,
30(4)376,
30(4)378,
30(6)507,
31(4)325,
31(4)336,
31(6)510,
32(1)93
- metric, 25-3-400a-400,
27(4)340,
29(1)20,
30(1)52,
30(2)168,
30(3)228,
30(3)233,
31(1)17,
31(3)248
- space,
24(4)316,
25(1)45,
25(4)486,
26(1)15,
26(3)224,
27(4)368-1,
28(1)73,
28(3)330,
28(4)439,
29(3)269,
30(1)87,
30(2)119,
30(2)163,
30(4)362,
30(4)372,
31(1)17,
31(1)56,
31(2)110,
31(3)279,
31(4)296,
31(4)358,
32(3)228,
32(4)362
- specification,
23(1)61,
23(3)230,
25(1)34,
25(1)63,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(1)59,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
28(4)357,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)239,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)229,
31(3)269,
31(4)313,
31(5)426,
31(6)510,
32(1)1,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(6)541
- verification,
24(2)139,
30(1)27,
30(3)228,
30(3)233,
30(3)239,
31(1)17,
31(4)289,
31(6)490,
31(6)503