scientific article

From MaRDI portal

Revision as of 14:24, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2757839

Jump to:navigation, search

zbMath0977.68530MaRDI QIDQ2757839

Nachum Dershowitz, Edward M. Reingold

Publication date: 4 December 2001

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

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Recursive ordinals and ordinal notations (03F15)

Related Items (4)

Trees, ordinals and termination ⋮ Ordinal arithmetic: Algorithms and mechanization ⋮ Leanest quasi-orderings ⋮ Type-theoretic approaches to ordinals

This page was built for publication:

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