Lecture Notes in Computer Science: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Altenkirch, Thorsten; Naraschewski, Wolfgang; Reus, Bernhard

Details

Published by: Springer

Publication Date: 1999-09-22

Format: Paperback

ISBN-13: 9783540665373

DOI: 10.1007/3-540-48167-2

Dimensions: 235cm x155cm

Pages: 212