Search Results - program description https function structures https

1

Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings /

Published 2012

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

2

Descriptional Complexity of Formal Systems 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /

Published 2011

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

3

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings /

Published 2014

Table of Contents: “... measures -- Trade-offs between computational models and modes of operation -- Succinctness of description...”
View full text

Electronic eBook

4

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings /

Published 2013

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

5

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
View full text

Electronic eBook

6

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
View full text

Electronic eBook

7

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”
View full text

Electronic eBook

8

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

9

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”
View full text

Electronic eBook

10

Programming Languages An Active Learning Approach /

by Lee, Kent D., Lee, Kent D.
Published 2008

Table of Contents: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text

Electronic eBook

11

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

Published 2008

Table of Contents: “... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...”
View full text

Electronic eBook

12

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text

Electronic eBook

13

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
View full text

Electronic eBook

14

Programming Languages and Operational Semantics A Concise Overview /

by Fernández, Maribel., Fernández, Maribel.
Published 2014

Table of Contents: “... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text

Electronic eBook

15

Foundations of Programming Languages

by Lee, Kent D., Lee, Kent D.
Published 2014

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

16

Programming Languages: Principles and Paradigms

by Gabbrielli, Maurizio., Gabbrielli, Maurizio., Martini, Simone.
Published 2010

Table of Contents: “... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...”
View full text

Electronic eBook

17

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

18

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Published 2013

Table of Contents: “... Modules for the Description Logic SRIQ -- An Event Structure Model for Probabilistic Concurrent Kleene...”
View full text

Electronic eBook

19

Towards the Internet of Services: The THESEUS Research Program

Published 2014

Table of Contents: “... Interaction and Decision Support Systems of the Future -- Linguistics to Structure Unstructured Information...”
View full text

Electronic eBook

20

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
View full text

Electronic eBook

Narrow Search