Showing
41 - 60
results of
117
for search '
Inria Sophia-antipolis
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Inria Sophia-antipolis
Search Results
Showing
41 - 60
results of
117
for search '
Inria Sophia-antipolis
'
, query time: 0.96s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
Get access
Get access
Get access
Get access
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multip...
Get access
Get access
Get access
An Efficient Management of Correlation Sets with Broadcast
Get access
Get access
Get access
Get access
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
Get access
Get access
Get access
Get access
Diversity-dependence brings molecular phylogenies closer to agreement with the f...
Get access
Get access
Diversity-dependence brings molecular phylogenies closer to agreement with the f...
Get access
Get access
Diversity-dependence brings molecular phylogenies closer to agreement with the f...
Get access
Get access
Adaptable Processes (Extended Abstract)
Get access
Get access
Get access
Get access
Adaptable Processes (Extended Abstract)
Get access
Get access
Get access
Get access
SPECTRAL ANALYSIS AND UNSUPERVISED SVM CLASSIFICATION FOR SKIN HYPER-PIGMENTATIO...
Get access
Get access
Get access
Classifying Inconsistencies in DBpedia Language Specific Chapters
Get access
Classifying Inconsistencies in DBpedia Language Specific Chapters
Get access
Towards a Semantic-based Approach for Modeling Regulatory Documents in Building...
Get access
Get access
Get access
Towards a Semantic-based Approach for Modeling Regulatory Documents in Building...
Get access
Get access
Get access
Towards a Semantic-based Approach for Modeling Regulatory Documents in Building...
Get access
Get access
Get access
SPECTRAL ANALYSIS AND UNSUPERVISED SVM CLASSIFICATION FOR SKIN HYPER-PIGMENTATIO...
Get access
Get access
Get access
SPECTRAL ANALYSIS AND UNSUPERVISED SVM CLASSIFICATION FOR SKIN HYPER-PIGMENTATIO...
Get access
Get access
Get access
Classifying Inconsistencies in DBpedia Language Specific Chapters
Get access
Classifying Inconsistencies in DBpedia Language Specific Chapters
Get access
A Type Checker for a Logical Framework with Union and Intersection Types
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
First
Prev
1
2
3
4
5
6
Next
Last
Search Tools:
Get RSS Feed
Related Subjects
[SDV]Life Sciences [q-bio]
[INFO]Computer Science [cs]
[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering
[MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
[SPI]Engineering Sciences [physics]
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
[SDU.STU.GL]Sciences of the Universe [physics]/Earth Sciences/Glaciology
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
[SDV.BV]Life Sciences [q-bio]/Vegetal Biology
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
DECONVOLUTION
HETRE ANTARCTIQUE
LEAF PRIMORDIA
NEOFORMATION
NOTHOFAGUS
PREFORMATION
SHOOT
2012 ACM Subject Classification Theory of computation → Lambda calculus
Dependent types
Refiner
Subtyping
Theory of computation → Proof theory Keywords and phrases Intersection types
Type checker
Union types
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Loading...