Suchergebnisse - function decomposition programming recursion implicit theory*

Andere Suchmöglichkeiten:
decomposition programming » compositive programming , copositive programming , computation programming
function decomposition » functional decomposition , factor decomposition
programming recursion » programming decision , programming session , programming decisions
recursion implicit » recursion complexity
implicit theory » implicit theories , implicit memory

1

Buchumschlag

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Identifying Polynomial-Time Recursive Functions -- Confluence of Shallow Right-Linear Rewrite Systems...”
Volltext

Elektronisch E-Book