Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Universite Paris 13 Language : coptic Language : crimean tatar; crimean turkish Language : english Language : italian Language : official aramaic (700-300 bce) Language : sinhala; sinhalese Language : thai Language : tswana Language : tuvinian Language : xhosa Geographic : italy

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Linear realisability over nets and second order quantification ; Réalisabilité Linéaire dans les réseaux et quantification du second ordre

Authors :

Subjects: RealisabilityRome

Source: Trends in Linear Logic and Applications ; https://hal.science/hal-04131640 ; Trends in Linear Logic and Applications, Jul 2023, Rome, Italy

Read More Add to Saved list

Conference

Unifying Graded Linear Logic and Differential Operators

Authors :

Subjects: Linear LogicRoma

Source: 8th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italyhttps://hal.science/hal-039795858th

Read More Add to Saved list

Conference

Multivariate Lagrange inversion formula and the cycle lemma

Authors :

Subjects: [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Pise

Source: The Seventh European Conference on Combinatorics, Graph Theory and Applications ; EuroComb 2013 ; https://hal.science/hal-00989632 ; EuroComb 2013, Sep 2013, Pise,

Read More Add to Saved list

Conference

Directed and multi-directed animals on the King's lattice

Authors :

Subjects: [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Pise

Source: The Seventh European Conference on Combinatorics, Graph Theory and Applications ; EuroComb 2013 ; https://hal.science/hal-00989608 ; EuroComb 2013, Sep 2013, Pise,

Read More Add to Saved list

Conference

Deciding the finiteness of simple permutations contained in a wreath-closed class is polynomial

Authors :

Subjects: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]FlorenceFlorence, Italy

Source: Proceedings of PP 2009 ; Permutation Patterns 2009 (PP 2009) ; https://hal.science/hal-00459647 ; Permutation Patterns 2009 (PP 2009), Jul 2009, Florence, Italy.

Read More Add to Saved list

Conference

A New Modular Division Algorithm and Applications

Authors :

Subjects: $p$-adic expansionPisa

Source: Proceedings of the 6th International Conference on Theoretical Computer Science ; International Conference on Theoretical Computer Science (ICTCS98) ; https://hal.science/hal-00916028 ; International

Read More Add to Saved list

Conference

Measuring the Casimir-Polder interaction of Rydberg atoms by vapour cell spectroscopy

Authors :

Subjects: [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]Caserta

Source: 25th International Conference of Spectral Line Shapes (ICSL 2022)https://hal.science/hal-0386074625th International Conference of Spectral Line Shapes (ICSL 2022), Jun 2022, Caserta,

Read More Add to Saved list