Chalmers - PDFSEARCH.IO - Document Search Engine

Chalmers
Results: 1415

#	Item
51	AHRENDT, BECKERT, HÄHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING 1. I NTRODUCTION Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-08-28 10:31:35
52	An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017 An adequacy theorem for partial type theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2017-05-14 11:13:46
53	Flexible Manipulation of Labeled Values for Information-Flow Control Libraries Marco Vassena1 , Pablo Buiras1 , Lucas Waye2 , and Alejandro Russo1 1 Chalmers University of Technology Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2017-02-20 11:18:04
54	Speculative Tag Access for Reduced Energy Dissipation in Set-Associative L1 Data Caches Alen Bardizbanyan† , Magnus Själander‡ , David Whalley‡ , and Per Larsson-Edefors† † Chalmers University of Technology, Add to Reading List Source URL: www.sjalander.com Language: English - Date: 2014-03-26 17:56:01
55	¨ Kurs: MAN321/TMV026 Andliga automater Plats: M-huset Tid: Datum: Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 10:35:52
56	Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-08-05 03:49:47
57	Fault-Resilient Non-interference Extended Version Filippo Del Tedesco David Sands, Alejandro Russo Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-07-14 14:07:58
58	Encoding DCC in Haskell Maximilian Algehed Alejandro Russo Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2017-10-08 03:27:07
59	CHALMERS, QUANTIFIER VARIANCE AND MATHEMATICIANS’ FREEDOM SHARON BERRY 1. Introduction Philosophers of mathematics have been much struck by mathematicians’ Add to Reading List Source URL: www.seberry.org Language: English - Date: 2017-05-14 11:45:10
60	Prof. Dr. Jan Lagerwall, Université du Luxembourg Daniel Vorländer-Vorlesung 2014 Jan Lagerwall was born in Göteborg, Sweden, where he also had his higher education, at Chalmers University of Technology. He obtained h Add to Reading List Source URL: www.liquidcr.ovgu.de Language: English - Date: 2017-07-13 03:30:57

UPDATE