Discover open access scientific publications

Search, annotate, share and cite publications

Publications by B.A. Trakhtenbrot

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity

Fundamenta Informaticae

Information Systems

Computational Theory

Theoretical Computer Science

English