Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program foundations » program foundation, problem foundations, program conditions
foundations https » equations https
function general » functions general, function central, functioning general
https function » its function, sites function, ups function
program foundations » program foundation, problem foundations, program conditions
foundations https » equations https
function general » functions general, function central, functioning general
https function » its function, sites function, ups function
1
Table of Contents:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
3
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
4
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook
7
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”View full text
Electronic
eBook
8
Table of Contents:
“... -- Structure of Convex Sets and Functions -- Separation of Convex Sets -- Convex Polyhedra -- Linear...”
View full text
View full text
Electronic
eBook
9
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013...
Published 2014
Table of Contents:
“... Functional Programs over General Polymorphic Lists....”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Genetic Programming with Homologous Crossover -- Coarse Graining Selection and Mutation -- Perturbation...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... for Coronary Disease Data -- Subsystem Based Generalizations of Rough Set Approximations -- Model-Based Cluster...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... of Rewrite Systems for Polytime Functions -- On the Controller Synthesis for Finite-State Markov Decision...”View full text
Electronic
eBook
15
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Axiomatising Functional Dependencies for XML with Frequencies -- Guarded Open Answer Set Programming...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- The Generalization of Dirac’s Theorem for Hypergraphs -- On the Communication Complexity of Co-linearity Problems...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”View full text
Electronic
eBook
20
Subjects:
“...Mathematics, general. https://scigraph.springernature.com/ontologies/product-market-codes/M00009...”
View full text
View full text
Electronic
eBook