A Logical Characterization for Dense-Time Visibly Pushdown Automata Conference Proceeding

Overview

CU Boulder Authors

Trivedi, Ashutosh

publication date

March 14, 2016

has restriction

closed

Date in CU Experts

July 27, 2016 4:38 AM

Full Author List

Bhave D; Dave V; Krishna SN; Phawade R; Trivedi A

Full Editor List

Dediu AH; Janousek J; MartinVide C; Truthe B

author count

5

citation count

6

published in

Lecture Notes in Artificial Intelligence Journal

presented at event

10th International Conference on Language and Automata Theory and Applications (LATA) Conference

Other Profiles

International Standard Serial Number (ISSN)

0302-9743

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-319-30000-9_7

International Standard Book Number (ISBN) 13

978-3-319-29999-0

Additional Document Info

start page

89

end page

101

volume

9618