Catalogo Articoli (Spogli Riviste)

OPAC HELP

Titolo:
A FAST ALGORITHM FOR GENERATING REDUCED GROUND REWRITING-SYSTEMS FROMA SET OF GROUND EQUATIONS
Autore:
SNYDER W;
Indirizzi:
BOSTON UNIV,DEPT COMP SCI BOSTON MA 02215
Titolo Testata:
Journal of symbolic computation
fascicolo: 4, volume: 15, anno: 1993,
pagine: 415 - 450
SICI:
0747-7171(1993)15:4<415:AFAFGR>2.0.ZU;2-V
Fonte:
ISI
Lingua:
ENG
Soggetto:
TERMINATION; EQUIVALENT; COMPLETION; CONFLUENT; MATINGS;
Tipo documento:
Article
Natura:
Periodico
Settore Disciplinare:
CompuMath Citation Index
CompuMath Citation Index
Science Citation Index Expanded
Science Citation Index Expanded
Citazioni:
41
Recensione:
Indirizzi per estratti:
Citazione:
W. Snyder, "A FAST ALGORITHM FOR GENERATING REDUCED GROUND REWRITING-SYSTEMS FROMA SET OF GROUND EQUATIONS", Journal of symbolic computation, 15(4), 1993, pp. 415-450


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 29/11/20 alle ore 18:38:44