Original language | English |
---|---|
Title of host publication | Computer Science Logic, Proceedings |
Pages | 544-544 |
Number of pages | 1 |
Volume | 2803 |
Publication status | Published - 2003 |
Publication series
Name | Lecture Notes in Computer Science |
---|
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Original language | English |
---|---|
Title of host publication | Computer Science Logic, Proceedings |
Pages | 544-544 |
Number of pages | 1 |
Volume | 2803 |
Publication status | Published - 2003 |
Name | Lecture Notes in Computer Science |
---|