Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 9 of 15 found articles
 
 
  Datatype-Generic Termination Proofs
 
 
Title: Datatype-Generic Termination Proofs
Author: Backhouse, Roland
Doornbos, Henk
Appeared in: Theory of computing systems
Paging: Volume 43 (2007) nr. 3-4 pages 362-393
Year: 2007
Contents:
Publisher: Springer-Verlag, New York
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 9 of 15 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands