scientific article; zbMATH DE number 6274940

From MaRDI portal

Publication:5403634

Jump to:navigation, search

zbMath1301.68001MaRDI QIDQ5403634

José Carmo, Paula Gouveia, Francisco Dionisio

Publication date: 27 March 2014

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

zbMATH Keywords

relations sets analysis of algorithms recurrence relations structures induction functions morphisms cardinality recursive functions quantifiers sums logical connectives

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Discrete mathematics in relation to computer science (68Rxx)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5403634&oldid=20140449"