The Library
Alternating weak automata from universal trees
Tools
Tools
Tools
Daviaud, Laure, Jurdzinski, Marcin and Lehtinen, Karolina (2019) Alternating weak automata from universal trees. In: 30th International Conference on Concurrency Theory (CONCUR 2019) , Amsterdam, the Netherlands, 26-31 Aug 2019. Published in: Leibniz International Proceedings in Informatics Schloss doi:10.4230/LIPIcs.CONCUR.2019.14
![[img]](http://wrap.warwick.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
WRAP-alternating-weak-automata-universal-trees-Jurdzinski-2019.pdf - Published Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Available under License Creative Commons Attribution 4.0. Download (444Kb) |
Official URL: https://doi.org/10.4230/LIPIcs.CONCUR.2019.14
| Item Type: | Conference Item (Paper) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > TJ Mechanical engineering and machinery |
|||||||||
| Divisions: | Faculty of Science > Computer Science | |||||||||
| Library of Congress Subject Headings (LCSH): | Machine theory, Robots, Algorithms | |||||||||
| Journal or Publication Title: | Leibniz International Proceedings in Informatics Schloss | |||||||||
| Publisher: | Dagstuhl | |||||||||
| Official Date: | 2019 | |||||||||
| Dates: |
|
|||||||||
| Date of first compliant deposit: | 5 July 2019 | |||||||||
| Article Number: | 14 | |||||||||
| DOI: | 10.4230/LIPIcs.CONCUR.2019.14 | |||||||||
| Status: | Peer Reviewed | |||||||||
| Publication Status: | Published | |||||||||
| Access rights to Published version: | Open Access | |||||||||
| RIOXX Funder/Project Grant: |
|
|||||||||
| Conference Paper Type: | Paper | |||||||||
| Title of Event: | 30th International Conference on Concurrency Theory (CONCUR 2019) | |||||||||
| Type of Event: | Conference | |||||||||
| Location of Event: | Amsterdam, the Netherlands | |||||||||
| Date(s) of Event: | 26-31 Aug 2019 | |||||||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
