Entry Richomme:1994:STM from lncs1994.bib
Last update: Mon Mar 13 02:21:52 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{Richomme:1994:STM,
author = "G. Richomme",
title = "Some Trace Monoids Where Both the Star Problem and the
Finite Power Property Problem are Decidable",
journal = j-LECT-NOTES-COMP-SCI,
volume = "841",
pages = "577--??",
year = "1994",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon May 13 11:52:14 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1994.bib",
acknowledgement = ack-nhfb,
}
Related entries
- both,
874(0)162
- decidable,
787(0)187,
789(0)707,
814(0)635,
818(0)105,
836(0)34,
845(0)121,
863(0)694
- finite,
765(0)50,
773(0)147,
774(0)187,
774(0)328,
775(0)341,
775(0)543,
775(0)691,
778(0)73,
783(0)113,
793(0)1,
793(0)24,
793(0)67,
796(0)62,
796(0)92,
796(0)119,
796(0)254,
797(0)233,
798(0)37,
798(0)77,
800(0)441,
802(0)530,
805(0)181,
809(0)135,
813(0)227,
814(0)1,
814(0)753,
814(0)798,
819(0)215,
834(0)297,
834(0)678,
837(0)379,
841(0)364,
841(0)484,
849(0)120,
854(0)461,
863(0)247,
864(0)329,
874(0)86,
877(0)28,
877(0)60,
877(0)209,
877(0)250,
879(0)247,
879(0)262
- Monoids,
775(0)341,
820(0)388,
872(0)282
- power,
775(0)123,
775(0)341,
775(0)403,
775(0)533,
777(0)83,
779(0)245,
782(0)69,
783(0)219,
783(0)322,
783(0)365,
783(0)376,
783(0)391,
802(0)410,
806(0)263,
810(0)133,
812(0)67,
812(0)159,
812(0)197,
820(0)23,
820(0)83,
836(0)162,
841(0)296,
849(0)57,
849(0)66,
852(0)453,
874(0)95,
875(0)301,
880(0)231
- property,
766(0)1,
770(0)1,
774(0)187,
775(0)341,
775(0)619,
777(0)1,
780(0)324,
784(0)423,
787(0)218,
787(0)291,
788(0)501,
789(0)425,
792(0)61,
800(0)115,
800(0)187,
800(0)397,
803(0)375,
808(0)147,
812(0)124,
812(0)159,
813(0)278,
813(0)329,
815(0)179,
818(0)27,
820(0)35,
827(0)398,
831(0)100,
834(0)423,
836(0)81,
838(0)19,
838(0)34,
844(0)459,
850(0)186,
851(0)393,
861(0)178,
863(0)193,
863(0)211,
863(0)431,
864(0)266,
866(0)159,
873(0)567
- Richomme, G.,
775(0)341
- Star,
775(0)341,
841(0)266
- Trace,
768(0)617,
771(0)1,
794(0)445,
802(0)530,
836(0)367
- Where,
782(0)151,
812(0)410