Valentin F. Turchin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1980–1990
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | ISSAC | Application of Metasystem Transition to Function Inversion and Transformation. | Robert Glck, Valentin F. Turchin |
| 1980 | CC | Semantic definitions in REFAL and the automatic production of compilers. | Valentin F. Turchin |
| 1980 | ICALP | The Use of Metasystem Transition in Theorem Proving and Program Optimization. | Valentin F. Turchin |