1
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Your Boilerplate” Reloaded -- Ruler: Programming Type Rules -- A Framework for Extended Algebraic Data...
Cael y testun llawn
Electronig eLyfr
2
gan Addis, Tom., Addis, Tom., Addis, Jan.
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Cael y testun llawn
Electronig eLyfr
3
Pynciau: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Cael y testun llawn
Electronig eLyfr
4
Pynciau: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2012
Tabl Cynhwysion: ...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...
Cael y testun llawn
Electronig eLyfr
6
... reachability analysis. The reformulation efforts could be extended by reformulating such problems as Search...
Cael y testun llawn
Erthygl
7
Cyhoeddwyd 2006
Tabl Cynhwysion: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2007
Tabl Cynhwysion: ... -- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs -- Querying and Repairing Inconsistent...
Cael y testun llawn
Electronig eLyfr
10
gan Ferreira, Candida., Ferreira, Candida.
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2010
Tabl Cynhwysion: ... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2008
Tabl Cynhwysion: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2007
Tabl Cynhwysion: ... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2008
Tabl Cynhwysion: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2007
Tabl Cynhwysion: ... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2010
Tabl Cynhwysion: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2007
Tabl Cynhwysion: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2015
Tabl Cynhwysion: ...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...
Cael y testun llawn
Electronig eLyfr