Original language | English |
---|---|
Title of host publication | Computer Science Logic (LNCS 1683) |
Publisher | Springer Verlag |
Publication date | 1999 |
Publication status | Published - 1999 |
Event | 8th Annual Conference of the European Association for
Computer Science Logic - Madrid, Spain Duration: 1 Jan 1999 → … |
Conference
Conference | 8th Annual Conference of the European Association for Computer Science Logic |
---|---|
City | Madrid, Spain |
Period | 01/01/1999 → … |