.:. Consultation > Liste par domaine > Logique .:.

34 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4

L'environnement providence Bouleau N. [halshs-00822986 - version 1] (15/05/2013)

Datalog and Constraint Satisfaction with Infinite Templates Bodirsky M., Dalmau V. Journal on Computer and System Sciences 79 (2013) 79-100 [hal-00756928 - version 1]

Delimited control operators prove Double-negation Shift Ilik D. Annals of Pure and Applied Logic 163, 11 (2012) 1549-1559 [hal-00647389 - version 1]

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction Martin B., Bodirsky M., Hils M. [hal-00756930 - version 1] (24/11/2012)

Preliminary remarks on option pricing and dynamic hedging Fliess M., Join C. In 1st International Conference on Systems and Computer Science - 1st International Conference on Systems and Computer Science, France (2012) [hal-00705373 - version 1]

New Ramsey Classes from Old Bodirsky M. [hal-00756927 - version 1] (24/11/2012)

Continuation-passing Style Models Complete for Intuitionistic Logic Ilik D. Annals of Pure and Applied Logic (2012) [hal-00647390 - version 3]

Topological Birkhoff Bodirsky M., Pinsker M. [hal-00756921 - version 1] (24/11/2012)

Essential Convexity and Complexity of Semi-Algebraic Constraints Bodirsky M., Jonsson P., Von Oertzen T. Logical Methods in Computer Science 8, 4 (2012) 4-5 [hal-00756926 - version 1]

Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction Bodirsky M., Jonsson P., Von Oertzen T. Journal of Logic and Computation 22, 3 (2012) 643-660 [hal-00756925 - version 1]