Toy(FD): Sketch of operational semantics

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

ISSN: 0302-9743 1611-3349

Any de publicació: 2003

Volum: 2833

Pàgines: 827-831

Tipus: Article