Search Results
Showing 1 - 5 results of 5 for search 'Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S)', query time: 0.05s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Related Subjects
FPT
Locally irregular
W-hardness
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
approximability Digital Object Identifier 10.4230/LIPIcs.SWAT.2022.23
largest induced subgraph
phrases Locally irregular
phrases Locally irregular largest induced subgraph FPT treewidth W-hardness approximability Digital Object Identifier 10.4230/LIPIcs.SWAT.2022.23
treewidth
2012 ACM Subject Classification Theory of computation → Lambda calculus
Dependent types
Refiner
Response time Dynamic adaptation Internalized context awareness Rule composition Extensible parameter adaptation
Subtyping
Theory of computation → Proof theory Keywords and phrases Intersection types
Type checker
Union types
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
[INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT]
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
[INFO.INFO-MC]Computer Science [cs]/Mobile Computing
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
[INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing
[MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT]
[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
∆-Framework