Berne, Switzerland
Loading map...
{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":46.9484742,"lon":7.4521749,"icon":""}],"imageoverlays":null}
Warning: Venue is missing. The map might not show the exact location.
The 5th Workshop on Computer Science Logic (CSL) 1991
Topics
The topics included:
- Theory of Computation
- Mathematical Logic and Foundations
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Algorithm Analysis and Problem Complexity
- Computation by Abstract Devices
Cookies help us deliver our services. By using our services, you agree to our use of cookies.