2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
 
Publisher Herausgeber
IEEE
 

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2023]

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian Extending ALCQIO with TreesKonferenzbeitrag Inproceedings 2015