Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive expression » interaction expression, integration expression, interaction expressive
expression proving » expression profiling, expression prolongs, expression proteins
program function » programme function, programs functional, program foundation
proving program » improving program, proven program, writing program
function https » functions https, fiction https
interactive expression » interaction expression, integration expression, interaction expressive
expression proving » expression profiling, expression prolongs, expression proteins
program function » programme function, programs functional, program foundation
proving program » improving program, proven program, writing program
function https » functions https, fiction https
1
Published 2012
Table of Contents:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... for Regular Expression Equivalence -- Collaborative Interactive Theorem Proving with Clide...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“...: The Toric Variety of Nested Canalyzing Functions -- Membrane Computing as a Framework for Bio-modeling...”View full text
Electronic
eBook
9
Published 2011
Table of Contents:
“... to Monitor Kinase-Substrate Interactions in vivo -- Chemical Genetic Analysis of Protein Kinase Function...”View full text
Electronic
eBook