Toy(FD): Sketch of operational semantics

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

ISSN: 0302-9743 1611-3349

Year of publication: 2003

Volume: 2833

Pages: 827-831

Type: Article