Ordinal theory for expressiveness of well structured transition systems

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

ISSN: 1611-3349 0302-9743

ISBN: 9783642198045

Year of publication: 2011

Volume: 6604 LNCS

Pages: 153-167

Type: Conference paper

DOI: 10.1007/978-3-642-19805-2_11 GOOGLE SCHOLAR lock_openOpen access editor