
dspace.mit.edu/handle/1721.1/89157
Preview meta tags from the dspace.mit.edu website.
Linked Hostnames
5- 19 links todspace.mit.edu
- 6 links tolibraries.mit.edu
- 1 link tocreativecommons.org
- 1 link tohdl.handle.net
- 1 link towww.mit.edu
General Meta Tags
29- titleAlloy*: A Higher-Order Relational Constraint Solver
- Content-Typetext/html; charset=UTF-8
- Content-Typetext/html; charset=UTF-8
- X-UA-CompatibleIE=edge,chrome=1
- viewportwidth=device-width,initial-scale=1
Link Tags
7- apple-touch-iconhttps://cdn.libraries.mit.edu/files/branding/favicons/apple-touch-icon.png
- schema.DChttp://purl.org/dc/elements/1.1/
- schema.DCTERMShttp://purl.org/dc/terms/
- searchhttps://dspace.mit.edu:443/open-search/description.xml
- shortcut iconhttps://cdn.libraries.mit.edu/files/branding/favicons/favicon.ico
Links
28- http://hdl.handle.net/1721.1/89157
- https://creativecommons.org/licenses/by-nc/4.0
- https://dspace.mit.edu
- https://dspace.mit.edu/bitstream/handle/1721.1/89157/MIT-CSAIL-TR-2014-018.pdf?sequence=1&isAllowed=y
- https://dspace.mit.edu/browse?type=author