Ken-etsu Fujita
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1991–1998
Best venue rank
Australasian
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | AISC | Polymorphic Call-by-Value Calculus Based on Classical Proofs. | Ken-etsu Fujita |
| 1991 | ALT | Proving based on similarity. | Ken-etsu Fujita, Masateru Harao |