Publication:4790656
From MaRDI portal
zbMath1005.68512MaRDI QIDQ4790656
Publication date: 4 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520121
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Partial and nested recursive function definitions in higher-order logic, Recursive coalgebras from comonads, Indexed induction-recursion, A Type of Partial Recursive Functions
Uses Software