Search alternatives:
integrals » integral
Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... transformations and WAM-support for the compilation of definite metaprograms -- Some considerations on the logic...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Fragment of Linear Logic -- Integrating Inductive Definitions in SAT -- The Separation Theorem...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... : Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions -- Reducing...”
Cover Image
Read Now

4
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Falsifiability: Definitions, Algorithms, and Applications -- Solving Geometry Problems Using a Combination...”