Entry Verma:1991:TUH from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 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 |
Y |
Z
BibTeX entry
@InProceedings{Verma:1991:TUH,
author = "R. M. Verma",
title = "A theory of using history for equational systems with
applications",
crossref = "IEEE:1991:PAS",
pages = "348--357",
year = "1991",
bibdate = "Thu Apr 5 06:13:50 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- application,
0(0)6,
0(0)21,
0(0)84,
0(0)92,
0(0)114,
0(0)127,
0(0)170,
0(0)184,
0(0)227,
0(0)232,
0(0)262,
0(0)303,
0(0)336,
0(0)349,
0(0)358,
0(0)389,
0(0)480,
0(0)577,
0(0)594,
0(0)674,
0(0)807,
1(0)163
- equational,
0(0)120
- history,
1(0)362
- system,
0(0)112,
0(0)115,
0(0)147,
0(0)202,
0(0)214,
0(0)227,
0(0)284,
0(0)304,
0(0)372,
0(0)505,
0(0)638,
0(0)664,
0(0)670,
0(0)714,
0(0)724,
1(0)2,
2(0)746
- theory,
0(0)xi--824,
0(0)xii--638,
0(0)xiii--606,
0(0)xiii--735,
0(0)xiii--745,
0(0)xiv--668,
0(0)xiv--745,
0(0)26,
0(0)177,
0(0)224,
0(0)302,
0(0)314,
0(0)382,
0(0)401,
0(0)406,
0(0)412,
0(0)563,
0(0)616,
0(0)698,
0(0)733,
0(0)z,
1(0)125
- using,
0(0)71,
0(0)79,
0(0)101,
0(0)104,
0(0)303,
0(0)320,
0(0)332,
0(0)520,
0(0)583,
0(0)704,
0(0)711,
1(0)193