You can perform a string search based on the name of the author or on one word of the papers title. (If you are not sure about how to write the whole word, type only the starting letters.)

Search String :

If you dont know the authors nor the papers name, you can search along a list, containing all titles published at LSL.


The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last updated: January 1998, by Alex Bänninger.
In case of problems with this site, please contact
Logic Systems Laboratory,