scientific article; zbMATH DE number 3591383

zbMATH Open0379.68038MaRDI QIDQ4158481FDOQ4158481

Authors: Christos Papadimitriou 

Publication date: 1976

Full work available at URL: https://eudml.org/doc/237402

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25)

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 Q4158481)