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

Año de publicación: 2011

Volumen: 6604 LNCS

Páginas: 153-167

Tipo: Aportación congreso

DOI: 10.1007/978-3-642-19805-2_11 GOOGLE SCHOLAR lock_openAcceso abierto editor