scientific article; zbMATH DE number 2013807

zbMath1029.68063MaRDI QIDQ4437095

Álvaro Romero-Jiménez, Mario J. Pérez-Jiménez

Publication date: 7 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2509/25090176.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Computer solution of Diophantine equations (11Y50) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (1)

Proof techniques in membrane computing

This page was built for publication: