Toy(FD): Sketch of operational semantics

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

ISSN: 0302-9743 1611-3349

Datum der Publikation: 2003

Ausgabe: 2833

Seiten: 827-831

Art: Artikel