scientific article; zbMATH DE number 1870123
From MaRDI portal
Publication:4792803
DOI10.1023/A:1011266802626zbMATH Open1035.91509OpenAlexW1590265123WikidataQ60633373 ScholiaQ60633373MaRDI QIDQ4792803FDOQ4792803
Authors: Oscar Vilarroya
Publication date: 17 February 2003
Published in: Minds and Machines (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1011266802626
Title of this publication is not available (Why is that?)
Recommendations
- Reduced functional consistency of uninterpreted functions
- On bounded functional interpretations
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
- scientific article; zbMATH DE number 1407683
- Towards a Theory of Extractable Functions
- Bounded functional interpretation
- Functional transcendence via o-minimality
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 Q4792803)