Affordable Access

An Intuitionistic Analysis of Size-change Termination

Authors
Publication Date
Source
Dagstuhl Research Online Publication Server
Keywords
  • Intuitionism, Ramsey'S Theorem, Termination
  • Data Processing Computer Science
External links

Abstract

Statistics

Seen <100 times