PDF Document

Source URL: www.eis.mdx.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Recursion
• Theoretical computer science
• Functional programming
• Category theory
• Subroutines
• Corecursion
• Fold
• Coinduction
• Tail call

PDF Document

Source URL: jburket.com

• X86 architecture
• X86 instructions
• Subroutines
• Recursion
• Machine code
• Low-level programming language
• Assembly language
• Decompiler
• INT
• Calling convention
• NOP
• X86-64

PDF Document

Source URL: www.cogsys.wiai.uni-bamberg.de

• Programming paradigms
• Artificial intelligence
• Software engineering
• Cognitive science
• Machine learning
• Theoretical computer science
• Inductive programming
• Logic programming
• Recursion
• Algorithm
• Inductive reasoning
• Data mining

PDF Document

Source URL: sysrun.haifa.il.ibm.com

• Computer programming
• Software engineering
• Computing
• Subroutines
• Recursion
• Calling convention
• Pointer
• Tree traversal
• Struct
• Processor register
• Thread

PDF Document

Source URL: www.cs.swan.ac.uk

• Complexity classes
• Theory of computation
• Theoretical computer science
• Mathematics
• FO
• PSPACE
• P
• Recursion
• EXPTIME
• Low

PRIMITIVE RECURSION AND THE CHAIN ANTICHAIN PRINCIPLE ALEXANDER P. KREUZER Abstract. Let the chain antichain principle (CAC) be the statement that each partial order on N possesses an infinite chain or an infinite antich

Source URL: www.math.nus.edu.sg

Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand

Source URL: www.cs.waikato.ac.nz

• Mathematical logic
• Programming idioms
• Logic programming
• Prolog
• Deductive database
• Clause
• Stratification
• Horn clause
• Recursion
• Computer programming
• Software engineering
• Computing

Lowness Properties and Approximations of the Jump Santiago Figueira ∗

Source URL: www.glyc.dc.uba.ar

• Theoretical computer science
• Mathematical logic
• Theory of computation
• Recursion
• Primitive recursive function
• Function
• Μ operator
• Fixed-point combinator
• Mathematics
• Computability theory
• Functions and mappings

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Computability theory
• Functions and mappings
• Recursion
• Function
• Computable number
• Compact space
• Subspace topology
• Sierpiński space
• Topology
• Mathematics
• General topology

Recursion for structured modules Keiko Nakata Research Institute for Mathematical Sciences, Kyoto University Abstract

Source URL: www.kurims.kyoto-u.ac.jp

• Homological algebra
• Standard ML
• Module
• D-module
• Functor
• Struct
• Abstract algebra
• Mathematics
• Mathematical analysis