Deciding Synchronous Kleene Algebra with Derivatives

AuthID
 P-00G-T02
4
Author(s)
Cavadas, S
·
Ferreira, M
·
1
Editor(s)
Drewes F.
Document Type
Proceedings Paper
Year published
2015
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 9223, Pages: 49-62
Conference
20Th International Conference on Implementation and Application of Automata, Ciaa 2015, Date: 18 August 2015 through 21 August 2015, Sponsors: Department of Computing Science, Umea University;Faculty of Science and Technology, Umea University;The Swedish Research Council;Umea Municipality, the County Council of Vasterbotten and Umea University
Indexing
Scopus®
Dblp®/pt/publications/view/550914
Crossref®2
Google Scholar®
Publication Identifiers
Dblp: conf/wia/BrodaCFM15
Scopus: 2-s2.0-84951761637
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service