Invariant Density and Bounded Derivability in Finite Equational Presentations

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Tonnel, David Gérard
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	equational logic equational presentations bounded derivability invariant density rewrite systems syntactic invariants algebraic redundancy computational logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet