Biblioteca Digital

22 resultados para Recursive programming

em Department of Computer Science E-Repository - King's College London, Strand, London

A Formal Architecture for the 3APL Agent Programming Language

Relevância:

20.00% 20.00%

Publicador:

Architecture for Agent Programming Languages

Relevância:

20.00% 20.00%

Publicador:

Linear Recursive Functions

Relevância:

20.00% 20.00%

Publicador:

Non-primitive recursive decidability of products of modal logics with expanding domains

Relevância:

20.00% 20.00%

Publicador:

A dynamic programming approach of finding an optimal broadcast schedule in minimizing total flow time

Relevância:

20.00% 20.00%

Publicador:

Mosaic : Functional Programming for Set Theoretic Composition

Relevância:

20.00% 20.00%

Publicador:

Weakest Precondition for General Recursive Programs Formalized in Coq

Relevância:

20.00% 20.00%

Publicador:

LaTeX: Typesetting as a Programming Language

Relevância:

20.00% 20.00%

Publicador:

PROMAL: Programming in Modal Action Logic

Relevância:

20.00% 20.00%

Publicador:

Re-Use Dynamic Programming for Sequence Alignment: An Algorithmic Toolkit

Relevância:

20.00% 20.00%

Publicador:

Re-Use Dynamic Programming for Sequence Alignment: An Algorithmic Toolkit

Relevância:

20.00% 20.00%

Publicador:

Composing high-level plans for declarative agent programming

Relevância:

20.00% 20.00%

Publicador:

Agent-Based Computing and Programming of Agent Systems

Relevância:

20.00% 20.00%

Publicador:

Plagiarism in Programming Assignments

Relevância:

20.00% 20.00%

Publicador:

Programming Style Changes in Evolving Source Code

Relevância:

20.00% 20.00%

Publicador:

«
1
2
»