Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
program setting » program getting, programs getting, program testing
https function » its function, sites function, ups function
setting https » being https, writing https, feeding https
function structures » functions structures, function structure, functional structures
program setting » program getting, programs getting, program testing
https function » its function, sites function, ups function
setting https » being https, writing https, feeding https
1
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... and Rules -- Semi-structured Decision Rules in Object-Oriented Rough Set Models for Kansei Engineering...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”View full text
Electronic
eBook
17
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
18
Published 2010
Table of Contents:
“... Contribution to Programming (1946–1950) -- A Miniaturisation of Ramsey’s Theorem -- Graph Structures...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”View full text
Electronic
eBook