Work

Finitism, Imperative Programs and Primitive Recursion

Year: 2019

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-36755-8_7

Author: Daniel Leivant

Institutions: Institut de Recherche en Informatique Fondamentale, Indiana University Bloomington, Université Paris Diderot

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2995404324

FWCI:

Cites: 22

Cited by:

Related to: 10