Entry Boudet:1998:ACE from lncs1998a.bib
Last update: Fri Mar 23 02:19:19 MDT 2018
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{Boudet:1998:ACE,
author = "Alexandre Boudet and Evelyne Contejean",
title = "About the Confluence of Equational Pattern Rewrite
Systems",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1421",
pages = "88--??",
year = "1998",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Feb 5 11:52:16 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t1421.htm;
http://www.math.utah.edu/pub/tex/bib/lncs1998a.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/1421/14210088.htm;
http://link.springer-ny.com/link/service/series/0558/papers/1421/14210088.pdf",
acknowledgement = ack-nhfb,
}
Related entries
- equational,
1359(0)78,
1373(0)455,
1376(0)18,
1376(0)190,
1378(0)20,
1379(0)76,
1414(0)295,
1421(0)119,
1450(0)543,
1450(0)597
- pattern,
1357(0)89,
1357(0)89-1,
1357(0)92,
1357(0)96,
1357(0)100,
1357(0)105,
1357(0)108,
1357(0)112,
1357(0)133,
1357(0)137,
1357(0)280,
1361(0)105,
1362(0)189,
1362(0)202,
1370(0)142,
1375(0)193,
1380(0)341,
1380(0)352,
1391(0)142,
1391(0)196,
1392(0)193,
1394(0)283,
1399(0)281,
1406(0)158,
1416(0)574,
1424(0)1,
1424(0)1-1,
1424(0)322,
1433(0)13,
1433(0)257,
1433(0)257,
1435(0)246,
1445(0)114,
1447(0)303,
1447(0)619,
1448(0)55,
1448(0)209
- Rewrite,
1379(0)121,
1382(0)302,
1421(0)17,
1443(0)507,
1450(0)267