L. Yohanes Stefanus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1989–2018
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LPAR | The Weak Completion Semantics and Equality. | Emmanuelle-Anna Dietz, Steffen Hlldobler, Sibylle Schwarz, L. Yohanes Stefanus |
| 2010 | LPAR | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. | L. Yohanes Stefanus, Ario Santoso |
| 2006 | GMP | Shape Representations with Blossoms and Buds. | L. Yohanes Stefanus |
| 1989 | ISSAC | On the Risch-Norman Integration Method and Its Implementation in MAPLE. | Keith O. Geddes, L. Yohanes Stefanus |