scientific article; zbMATH DE number 3827959
From MaRDI portal
Publication:3674736
zbMATH Open0523.08003MaRDI QIDQ3674736FDOQ3674736
Authors: Peter Ecsedi-Toth
Publication date: 1983
Title of this publication is not available (Why is that?)
Trees (05C05) Specification and verification (program logics, model checking, etc.) (68Q60) Operations and polynomials in algebraic structures, primal algebras (08A40) Other classical set theory (including functions, relations, and set algebra) (03E20)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3674736)