Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papersсборник
Статьи, опубликованные в сборнике
-
-
1993
The basic logic of proofs
-
Artëmov Sergei,
Straßen Tyko
-
в сборнике Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, серия Lecture Notes in Computer Science, место издания Springer, том 702, с. 14-28
DOI