Last update: Sun Oct 15 02:15:49 MDT 2017
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{Danko:1993:SPA,
author = "Wiktor Da{\'n}ko",
title = "The set of probabilistic algorithmic formulas valid in
a finite structure is decidable with respect to its
diagram",
journal = j-FUND-INFO,
volume = "19",
number = "3--4",
pages = "417--431",
month = nov # "\slash " # dec,
year = "1993",
CODEN = "FUMAAJ",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Mon Mar 7 06:24:59 MST 2016",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo1990.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae;
http://dl.acm.org/citation.cfm?id=J291",
}
Related entries
- algorithmic,
14(1)91,
25(2)99
- finite,
13(3)333,
14(1)91,
25(3)285,
25(3)399,
35(1)67,
38(1)189,
39(1)21
- formulas,
21(3)237,
28(3)261,
39(3)259
- probabilistic,
23(2)225,
26(3)341,
30(3)241
- set,
13(2)211,
13(3)245,
14(3)367,
16(3)355,
19(3)355,
20(4)381,
25(2)99,
27(2)103,
27(2)109,
27(2)137,
27(2)155,
27(2)169,
27(2)205,
27(2)273,
28(3)211,
28(3)273,
28(3)353,
29(1)1,
30(3)345,
31(1)41,
31(3)213,
32(2)149,
36(2)201,
36(2)265,
37(1)71,
38(1)209,
38(3)281,
39(4)389,
40(4)383
- structure,
13(4)485,
14(1)39,
17(4)319,
20(1)133,
25(3)327,
26(3)363,
27(1)57,
31(1)49,
33(1)1,
33(1)17,
33(2)121,
35(1)179,
37(4)343