Ordinal theory for expressiveness of well structured transition systems

  1. Bonnet, R.
  2. Finkel, A.
  3. Haddad, S.
  4. Rosa-Velardo, F.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783642198045

Ano de publicación: 2011

Volume: 6604 LNCS

Páxinas: 153-167

Tipo: Achega congreso

DOI: 10.1007/978-3-642-19805-2_11 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus