Concurrent Rewriting and Knuth-Bendix Completion Theorem in a 2-Category

Anno

1992

Autori IAC

GIOVANNI FRANCESCO MASCARI

Tipo pubblicazione

Rapporto Tecnico

Altri Autori

Giulio Balestreri. Giovanni Francesco Mascari

Direttore: Dott. Roberto Natalini

Canali social:

Comitato editoriale e webmaster

Copyright © CNR IAC 2022. Tutti i diritti sono riservati
Partita IVA 02118311006 - Codice Fiscale 80054330586
L'IAC è soggetto allo split payment. Posta Elettronica Certificata protocollo.iac@pec.cnr.it