Skip to main content
LOGIN
LOGIN
Login with username and password
BORIS Portal
Bern Open Repository and Information System
Publications
Theses
Research Data
Projects
Organizations
Researchers
More
Collections
Statistics
LOGIN
LOGIN
Login with username and password
Unibern.ch
Home
Publications
Total public announcements
Total public announcements
Export
Statistics
More
Options
Show all metadata (technical view)
Details
Files
BORIS DOI
10.7892/boris.26454
Publisher DOI
10.1007/978-3-540-72734-7_35
Date of Publication
2007
Publication Type
Conference Item
Language(s)
en
Contributor(s)
Steiner, David
Institut für Informatik und angewandte Mathematik (IAM)
Studer, Thomas
Institut für Informatik und angewandte Mathematik (IAM)
Additional Credits
Institut für Informatik und angewandte Mathematik (IAM)
Publisher
Springer Verlag
ISBN
978-3-540-72734-7
Title of Event
Logical Foundations of Computer Science. Proceedings of the International Symposium, LFCS 2007
Access(Rights)
open.access
Show full item
