<--- Back to Details
First PageDocument Content
Higher-order functions / Model theory / Graph theory / Mathematical induction / Structural induction / Fold / Map / List / Interpretation / Software engineering / Mathematics / Computing
Date: 2011-11-18 09:02:21
Higher-order functions
Model theory
Graph theory
Mathematical induction
Structural induction
Fold
Map
List
Interpretation
Software engineering
Mathematics
Computing

Deciding Functional Lists with Sublist Sets

Add to Reading List

Source URL: lara.epfl.ch

Download Document from Source Website

File Size: 229,85 KB

Share Document on Facebook

Similar Documents

Location map Eichenweg 1, Zollikofen Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation

DocID: 1xVJL - View Document

Experimental music / Sound / Sensory systems / Nervous system / Perception / Neuroscience / Soundscape / Sound map / Sense

The Sensorial Map of the City Luca Maria Aiello Yahoo Labs

DocID: 1xVyM - View Document

(Microsoft Word - Hölzer-MAP_EinleitungsDOK_FR)

DocID: 1xVsj - View Document

Artificial neural networks / Machine learning / Applied mathematics / Mathematics / Artificial intelligence / Topological graph theory / Market research / Feature learning / Deep learning / Graph embedding / Word embedding

This Talk § 1) Node embeddings § Map nodes to low-dimensional embeddings. § 2) Graph neural networks

DocID: 1xV9V - View Document

Location map Monbijoustrasse 74, Bern Federal Office of Information Technology, Systems and Telecommunication FOITT Arrival by public transportation

DocID: 1xV1n - View Document