Programming Languages and Systems
From MaRDI portal
Publication:5493392
DOI10.1007/11575467zbMath1159.68383MaRDI QIDQ5493392
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items (6)
Unnamed Item ⋮ Type-based termination of generic programs ⋮ Typing termination in a higher-order concurrent imperative language ⋮ Unnamed Item ⋮ Büchi Complementation and Size-Change Termination ⋮ A SAT-Based Approach to Size Change Termination with Global Ranking Functions
Uses Software
This page was built for publication: Programming Languages and Systems
