| Original language | English |
|---|---|
| Title of host publication | LICS |
| Publisher | IEEE Computer Society |
| Pages | 392-399 |
| Number of pages | 8 |
| Publication status | Published - 1988 |
| Event | Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/lics/lics88.html#MendlerA88http://dblp.uni-trier.de/rec/bibtex/conf/lics/MendlerA88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lics/MendlerA88 |
Conference
| Conference | Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK |
|---|---|
| Period | 1/01/24 → … |
| Internet address |