Leivant, Daniel.
Leivant, Daniel Maurice Raphaël
Leivant, Daniel Maurice Raphae͏̈l, Computer science
Leivant, Daniel M.R
VIAF ID: 59320973 (Personal)
Permalink: http://viaf.org/viaf/59320973
Preferred Forms
- 200 _ | ‡a Leivant ‡b Daniel
-
- 100 1 _ ‡a Leivant, Daniel
- 100 1 _ ‡a Leivant, Daniel
-
-
- 100 1 0 ‡a Leivant, Daniel Maurice Raphaël
-
-
-
- 100 1 _ ‡a Leivant, Daniel Maurice Raphaël
-
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Absoluteness of intuitionistic logic | |
Existential instantiation in a system of natural deduction for intuitionistic arithemtics | |
Imperative characterization of sequential algorithms in general, primitive recursive or polynomial time. | |
LCC '94 | |
Logic and computational complexity : international workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers | |
Logic, language, information and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings | |
A note on translations of C into I |