C1 C2 Ed. Board
Advertisement #HA05062O (FTP file HA05062ABCNOP.pdf.sea)
TTL: a modular language for hardware/software systems design
An axiomatic semantics for the synchronous language Gentzen
An efficient fully polynomial approximation scheme for the Subset-Sum Problem
Approximate testing with error relative to input size
The complexity of the temporal logic with “until” over general linear time
Papers to Appear
C3 - Advertisement #better_5X8_els (FTP file #better_5X8_els.pdf) IN GENERIC FOLDER
C4 - TOC