Efficiency issues in the kbmag procedure

Saved in:
Bibliographic Details
Published in:The journal of logic and algebraic programming Vol. 80; no. 8; pp. 444 - 452
Main Author: Swan, Jerry
Format: Journal Article
Language:English
Published: 01.11.2011
ISSN:1567-8326
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Author Swan, Jerry
Author_xml – sequence: 1
  givenname: Jerry
  surname: Swan
  fullname: Swan, Jerry
BookMark eNotzztPwzAYhWEPReqF_gEmjywJ_uz6khFVBSpVYoHZ8hUc2iSy26H_nlowHekdjvQs0WwYh4DQA5AWCIinvu2PZmopqQFaQmCGFsCFbBSjYo6WpfS3KIkSC_S4izG5FAZ3xamUSyg4Dfj8HfCPPZkvPOXRBX_J4R7dRXMsYf2_K_T5svvYvjWH99f99vnQOOjUuYlOEhMNUA_Uyg1XwkYrvQDFFLd1RcdNRyS3ECiznXecGLWJzDrlqWUrRP9-XR5LySHqKaeTyVcNRFef7nX16erTAPpGYb8NgkgK
Cites_doi 10.1007/3-540-62950-5_83
10.1016/B978-0-08-012975-4.50028-X
10.1007/BF01206331
10.1109/SWAT.1973.13
10.1016/S0747-7171(08)80093-4
10.2307/1968867
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlap.2010.11.001
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 452
ExternalDocumentID 10_1016_j_jlap_2010_11_001
GroupedDBID --K
--M
-~X
.~1
0R~
1B1
1~.
1~5
29K
4.4
4G.
5GY
5VS
7-5
71M
8P~
9DU
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AAQXK
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABFNM
ABJNI
ABMAC
ABWVN
ABXDB
ACDAQ
ACGFS
ACLOT
ACNCT
ACNNM
ACRLP
ACRPL
ACVFH
ACZNC
ADBBV
ADCNI
ADEZE
ADMUD
ADNMO
ADVLN
AEBSH
AEIPS
AEKER
AETEA
AEUPX
AEXQZ
AFPUW
AFTJW
AGHFR
AGQPQ
AGUBO
AGYEJ
AHZHX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CITATION
CS3
D-I
D0L
DU5
EBS
EFJIC
EFKBS
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
GBOLZ
HVGLF
HZ~
IHE
IXB
J1W
KOM
M41
MO0
N9A
O-L
O9-
OAUVE
OK1
OZT
P-8
P-9
P2P
PC.
Q38
R2-
ROL
RPZ
SDF
SDG
SDP
SES
SEW
SPC
SSV
SSZ
T5K
TN5
UHS
~HD
ID FETCH-LOGICAL-c198t-fc70afa12d12b74586bfb7d618385bd618695a9075b1e23b9dc50a84f3bc8d2b3
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000296313000002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1567-8326
IngestDate Sat Nov 29 07:01:26 EST 2025
IsPeerReviewed false
IsScholarly false
Issue 8
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c198t-fc70afa12d12b74586bfb7d618385bd618695a9075b1e23b9dc50a84f3bc8d2b3
PageCount 9
ParticipantIDs crossref_primary_10_1016_j_jlap_2010_11_001
PublicationCentury 2000
PublicationDate 2011-11-00
PublicationDateYYYYMMDD 2011-11-01
PublicationDate_xml – month: 11
  year: 2011
  text: 2011-11-00
PublicationDecade 2010
PublicationTitle The journal of logic and algebraic programming
PublicationYear 2011
References 10.1016/j.jlap.2010.11.001_b0035
10.1016/j.jlap.2010.11.001_b0025
Sims (10.1016/j.jlap.2010.11.001_b0065) 1994
10.1016/j.jlap.2010.11.001_b0045
Ukkonen (10.1016/j.jlap.2010.11.001_b0075) 1995; 14
10.1016/j.jlap.2010.11.001_b0085
Holt (10.1016/j.jlap.2010.11.001_b0040) 2005
10.1016/j.jlap.2010.11.001_b0050
10.1016/j.jlap.2010.11.001_b0080
Gusfield (10.1016/j.jlap.2010.11.001_b0030) 1997
Marché (10.1016/j.jlap.2010.11.001_b0055) 1998; 15
10.1016/j.jlap.2010.11.001_b0070
Cormen (10.1016/j.jlap.2010.11.001_b0010) 1990
Ferragina (10.1016/j.jlap.2010.11.001_b0020) 1997
Epstein (10.1016/j.jlap.2010.11.001_b0015) 1991; 12
Aho (10.1016/j.jlap.2010.11.001_b0005) 1986
Newman (10.1016/j.jlap.2010.11.001_b0060) 1942; 43
References_xml – ident: 10.1016/j.jlap.2010.11.001_b0085
– ident: 10.1016/j.jlap.2010.11.001_b0045
– year: 2005
  ident: 10.1016/j.jlap.2010.11.001_b0040
– year: 1990
  ident: 10.1016/j.jlap.2010.11.001_b0010
– ident: 10.1016/j.jlap.2010.11.001_b0025
  doi: 10.1007/3-540-62950-5_83
– ident: 10.1016/j.jlap.2010.11.001_b0050
  doi: 10.1016/B978-0-08-012975-4.50028-X
– year: 1994
  ident: 10.1016/j.jlap.2010.11.001_b0065
– start-page: 181
  year: 1997
  ident: 10.1016/j.jlap.2010.11.001_b0020
  article-title: A note on updating suffix tree labels
– year: 1997
  ident: 10.1016/j.jlap.2010.11.001_b0030
– volume: 14
  start-page: 249
  issue: 3
  year: 1995
  ident: 10.1016/j.jlap.2010.11.001_b0075
  article-title: On-line construction of suffix trees
  publication-title: Algorithmica
  doi: 10.1007/BF01206331
– ident: 10.1016/j.jlap.2010.11.001_b0070
– ident: 10.1016/j.jlap.2010.11.001_b0080
  doi: 10.1109/SWAT.1973.13
– ident: 10.1016/j.jlap.2010.11.001_b0035
– volume: 12
  start-page: 397
  year: 1991
  ident: 10.1016/j.jlap.2010.11.001_b0015
  article-title: The use of Knuth–Bendix methods to solve the word problem in automatic groups
  publication-title: J. Symbolic Comput.
  doi: 10.1016/S0747-7171(08)80093-4
– volume: 15
  start-page: 193
  year: 1998
  ident: 10.1016/j.jlap.2010.11.001_b0055
  article-title: Normalized Rewriting: an unified view of Knuth-Bendix completion and Gröbner bases computation
  publication-title: Progr. Comput. Sci. Appl. Logic
– volume: 43
  start-page: 223
  issue: 2
  year: 1942
  ident: 10.1016/j.jlap.2010.11.001_b0060
  article-title: On theories with a combinatorial definition of equivalence
  publication-title: Ann. Math.
  doi: 10.2307/1968867
– year: 1986
  ident: 10.1016/j.jlap.2010.11.001_b0005
SSID ssj0017086
Score 1.5164111
SourceID crossref
SourceType Index Database
StartPage 444
Title Efficiency issues in the kbmag procedure
Volume 80
WOSCitedRecordID wos000296313000002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  issn: 1567-8326
  databaseCode: AIEXJ
  dateStart: 20010101
  customDbUrl:
  isFulltext: true
  dateEnd: 20140131
  titleUrlDefault: https://www.sciencedirect.com
  omitProxy: false
  ssIdentifier: ssj0017086
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3JTsMwELWg5cCFHbErBw5IKCibY-dYoSKoUMWhSL1V3oJa2lC1Bfr5jGMnDUVI9MAlmyInznOePePxG4QuVcwZZl7qhpgEbiTiyOWhL8BqVUrF0guYykVcH0m7Tbvd5MmmZZ_m6QRIltH5PBn_K9RwDcDWS2dXgLssFC7AMYAOW4Adtn8CvpmLQuQrKvOPOi1CGV_5iOmV59BjSasjUgxLdWOpaEjkfGhkXIcvemYZzmwg16jo6rRX5tN4T1tqYoOJZekP9Uv3gWU8YEr4reMqJZrkShZ6WuG3yIg12q4yMuKzP1jYOAQGN4MhG5voOS2Uap_6TfJ6qSsqAwSL2LNBT5fR02WAraID8NZRPSA4AQKrNx6a3VY5ZUS8PK1nWR-7QsoE8y2_SWUUUhlOdHbQlrUDnIbBbxetqWwPbRc5NhxLufvoagGnY-B0-pkDcDo5nE4J5wF6vmt2bu9dm93CFX5CZ24qiMdS5gfSDziJMI15yomMgWMp5nofJ5glMKTjvgpCnkiBPUajNOSCyoCHh6iWvWXqCDkeByuXezSlYPxKX_EgwimlcSgkYQmOjtF1Udve2IiY9H7_wicr3X2KNhfN6gzVZpN3dY42xMesP51cWJC-ABvPP2c
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Efficiency+issues+in+the+kbmag+procedure&rft.jtitle=The+journal+of+logic+and+algebraic+programming&rft.au=Swan%2C+Jerry&rft.date=2011-11-01&rft.issn=1567-8326&rft.volume=80&rft.issue=8&rft.spage=444&rft.epage=452&rft_id=info:doi/10.1016%2Fj.jlap.2010.11.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlap_2010_11_001
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1567-8326&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1567-8326&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1567-8326&client=summon