Toy(FD): Sketch of operational semantics

  1. Fernández, A.J.
  2. Hortalá-González, T.
  3. Sáenz-Pérez, F.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743 1611-3349

Ano de publicación: 2003

Volume: 2833

Páxinas: 827-831

Tipo: Artigo