Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality code » functionality cloud, functionality lower, functional code
parallel hol » parallel half, parallel hpc, parallel co
hol program » whole program, school program, modul program
code https » care https, body https, models https
1
Cover Image
Published 2006
Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2013
Table of Contents: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2015
Table of Contents: “... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2014
Table of Contents: “... in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2010
Table of Contents: “... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search