20. ISMVL 1990: Charlotte, NC, USA

Keynote Address

Circuits

Algebra I

Spectral Techniques

Algebra II

Special Applications I

Logic Design I

Invited Address

Circuits II

Logic

Invited Address

Logic and Algebra

Logic Design II

Invited Address

Logic and Artificial Intelligence

Circuits III

Artificial Intelligence and Expert Systems

Special Applications II

maintained by Schloss Dagstuhl LZI at University of Trier