1
Publicado 2015
Table of Contents: ... + Computation -- Compositional Metric Reasoning with Probabilistic Process Calculi -- Semantics of Programming...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...
Ligazón do recurso
Electrónico eBook
5
Publicado 2006
Table of Contents: ... Induction for Natural Language -- Stochastic Analysis of Lexical and Semantic Enhanced Structural Language...
Ligazón do recurso
Electrónico eBook
6
Publicado 2005
Table of Contents: ... Expression Data -- Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming -- Interactive...
Ligazón do recurso
Electrónico eBook