Toy(FD): Sketch of operational semantics

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

ISSN: 0302-9743 1611-3349

Année de publication: 2003

Volumen: 2833

Pages: 827-831

Type: Article