Back to Results
First PageMeta Content
X86 instructions / SSE3 / ISO 216 / Metrication / Stationery


SAT compilation for Termination Proofs via Semantic Labelling Alexander Bau1 , Jörg Endrullis2 , and Johannes Waldmann1 1 2
Add to Reading List

Document Date: 2013-08-26 10:13:12

Open Document

File Size: 239,47 KB

Share Result on Facebook

City

Amsterdam / Leipzig / /

Company

CNF / Cambridge University Press / /

IndustryTerm

constraint systems / termination tools / stochastic search / lexicographic product / /

Organization

Cambridge University / /

Person

Johannes Waldmann / Nat / Alexander Bau / Harald Zankl / Dieter Hofbauer / Hans Zantema / David Peleg / Christian Sternagel / Simon Peyton Jones / Aart Middeldorp / Bernhard Rumpe / Jörg Endrullis / Anca Muscholl / René Thiemann / Jaroslav Pokorný / /

Position

editor / /

Product

CO4 / /

ProgrammingLanguage

Haskell / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

functional programming / /

URL

http /

SocialTag