Entry Anonymous:1995:WTC 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{Anonymous:1995:WTC,
author = "Anonymous",
title = "{Workshop on Topology and Completion in Semantics}",
journal = j-THEOR-COMP-SCI,
volume = "151",
number = "1",
pages = "??--??",
day = "13",
month = nov,
year = "1995",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Nov 22 14:14:47 MST 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1995.bib",
acknowledgement = ack-nhfb,
classification = "C4210L (Formal languages and computational
linguistics)",
conflocation = "Chartres, France; 18-20 Nov. 1993",
conftitle = "Workshop on Topology and Completion in Semantics",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "abstraction; closure spaces; constraint programming;
digital topology; domain theory; duality; formal
languages; formal logic; lazy dataflow deadlock; modal
mu-calculus; monadic second order logic; process
algebra; rational omega-languages; recursion;
topology",
pubcountry = "Netherlands",
treatment = "T Theoretical or Mathematical",
}
Related entries
- abstraction,
138(1)211,
138(2)425,
139(1)131,
140(1)5,
151(1)207,
156(1)289,
160(1)217,
167(1)3,
168(1)155,
173(2)393,
176(1)337,
177(2)329,
192(2)287,
192(2)315,
197(1)241,
198(1)177,
227(1)3
- anonymous,
145(1)95,
150(2)197,
150(2)315,
150(2)339,
157(1)z,
158(1)379,
160(1)383,
164(1)311,
168(2)z,
170(1)467,
171(1)303,
175(1)z,
180(1)379,
182(1)259,
182(1)263,
185(2)411,
187(1)z,
194(1)z,
197(1)z,
213(1)5,
213(1)437,
213(1)529,
228(1)1,
228(1)283,
229(1)1,
229(1)199
- calculus;, mu-,
148(1)121,
151(1)3,
175(1)15,
190(1)41,
195(2)133
- closure,
127(2)287,
137(2)237,
139(1)27,
142(2)179,
144(1)59,
145(1)291,
148(2)261,
151(1)257,
156(1)145,
160(1)217,
163(1)259,
165(2)391,
166(1)49,
167(1)47,
169(2)185,
178(1)205,
180(1)325,
183(1)3,
183(1)21,
185(2)393,
191(1)79,
193(1)197,
195(2)183,
226(1)185
- completion,
139(1)187,
142(2)141,
145(1)345,
146(1)199,
150(1)57,
154(2)379,
159(2)143,
159(2)355,
165(1)171,
170(1)145,
176(1)67,
179(1)319,
182(1)245,
192(1)77,
193(1)1,
227(1)153
- constraint,
138(1)211,
141(1)151,
142(1)27,
142(2)141,
151(1)37,
156(1)217,
158(1)279,
160(1)365,
166(1)101,
167(1)73,
171(1)25,
172(1)233,
173(1)3,
173(1)89,
173(1)113,
173(1)151,
173(1)183,
173(1)209,
173(1)235,
173(1)253,
173(1)283,
175(2)349,
179(1)273,
183(2)281,
184(1)195,
185(1)81,
187(1)49,
190(2)115,
190(2)151,
192(1)77,
192(1)107,
192(2)259,
192(2)315,
193(1)149,
197(1)1,
206(1)81,
206(1)257,
221(1)179,
225(1)113
- dataflow,
141(1)1,
167(1)131
- deadlock,
147(1)117,
151(1)195,
177(2)329,
215(1)225
- digital,
138(1)141,
144(1)3,
144(1)101,
144(1)161,
144(1)251,
147(1)211,
151(1)257,
151(1)277,
154(2)225,
156(1)159,
159(1)29,
162(1)133,
162(1)151,
173(1)151,
176(1)89,
178(1)225,
191(1)245,
196(1)201,
197(1)57,
226(1)117
- domain,
151(1)163,
151(1)195,
151(1)257,
152(1)67,
155(1)221,
155(1)267,
159(2)319,
159(2)355,
160(1)1,
162(2)225,
165(1)57,
166(1)49,
166(1)203,
170(1)349,
171(1)247,
172(1)1,
172(1)43,
173(1)113,
173(1)209,
175(1)3,
176(1)89,
177(1)111,
177(1)155,
179(1)203,
179(1)217,
179(1)319,
179(1)421,
187(1)203,
189(1)179,
193(1)1,
193(1)53,
193(1)113,
193(1)181,
196(1)395,
197(1)246-2,
216(1)159,
219(1)19,
219(1)169,
222(1)153
- duality,
151(1)3,
151(1)79,
153(1)271,
194(1)207,
197(1)243-1,
202(1)193
- languages;, omega-,
143(1)1,
174(1)231,
183(1)93,
191(1)37
- lazy,
151(1)195,
167(1)95,
175(1)93,
187(1)203,
194(1)241-1,
194(1)244-2
- modal,
140(1)53,
147(1)149,
151(1)3,
151(1)257,
175(1)29,
195(2)133,
202(1)193,
221(1)251,
224(1)135
- monadic,
139(1)1,
151(1)125,
154(1)67,
154(2)247,
156(1)119,
160(1)87,
166(1)63,
174(1)97,
176(1)175,
193(1)197,
194(1)87,
194(1)183,
194(1)242,
222(1)133,
224(1)35
- mu-calculus,
148(1)121,
151(1)3,
175(1)15,
190(1)41,
195(2)133,
221(1)251
- omega-languages,
143(1)1,
174(1)1,
174(1)231,
183(1)93,
191(1)37
- order,
138(2)273,
142(1)89,
143(1)73,
144(1)101,
145(1)271,
147(1)149,
151(1)207,
154(2)165,
154(2)379,
156(1)119,
160(1)87,
160(1)241,
160(1)271,
160(1)305,
162(2)351,
163(1)117,
163(1)269,
168(1)155,
170(1)145,
174(1)67,
175(1)3,
175(1)127,
175(2)225,
175(2)283,
175(2)337,
175(2)349,
175(2)373,
175(2)393,
176(1)67,
176(1)235,
177(1)59,
177(1)217,
179(1)137,
179(1)217,
179(1)421,
180(1)17,
183(2)157,
183(2)187,
184(1)61,
185(2)277,
187(1)7,
187(1)27,
190(2)317,
194(1)245,
194(1)246,
200(1)205,
204(1)131,
212(1)211,
225(1)177
- rational,
143(1)1,
145(1)229,
151(1)29,
155(2)439,
159(1)43,
165(2)483,
167(1)73,
173(1)235,
174(1)259,
180(1)1,
188(1)45,
189(1)229,
191(1)117,
194(1)1,
205(1)329,
209(1)287,
218(1)143,
221(1)41
- recursion,
138(2)391,
146(1)269,
149(1)3,
151(1)207,
152(2)251,
160(1)1,
162(1)23,
163(1)245,
163(1)269,
169(1)113,
169(2)201,
170(1)145,
176(1)111,
176(1)205,
177(1)3,
177(2)329,
177(2)351,
187(1)203,
193(1)129,
198(1)131,
210(1)121,
212(1)157
- second,
147(1)137,
156(1)119,
160(1)87,
168(1)155,
174(1)97,
187(1)27,
187(1)123
- topology,
138(1)211,
145(1)229,
147(1)137,
151(1)257,
156(1)159,
159(2)319,
162(2)351,
166(1)263,
169(2)185,
174(1)203,
175(1)3,
177(1)155,
179(1)319,
193(1)1,
193(1)53,
194(1)123,
194(1)246,
215(1)359
- Workshop,
157(1)z,
159(1)103,
168(2)z,
175(1)z,
187(1)z,
194(1)z