Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program termination » program verification, proving termination
termination https » termination sets, termination sites, termination graphs
https function » its function, sites function, ups function
function basic » functions basic, function based, functional basics
basic https » music https, asia https, arabic https
program termination » program verification, proving termination
termination https » termination sets, termination sites, termination graphs
https function » its function, sites function, ups function
function basic » functions basic, function based, functional basics
basic https » music https, asia https, arabic https
1
Published 2006
Table of Contents:
“... Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“...'s Lost Notebook (Y. Kajihara) -- 12. Non-terminating q-Whipple transformations for basic hypergeometric...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop...”View full text
Electronic
eBook
6
Table of Contents:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”View full text
Electronic
eBook
9
Table of Contents:
“...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook