L. Yohanes Stefanus

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 1

Top Topics

Logical Language

Database Query Languages

Update Semantics

Top Venues

Publications

Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus
The Weak Completion Semantics and Equality. LPAR (2018)
L. Yohanes Stefanus, Ario Santoso
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. IWIL@LPAR (2010)
L. Yohanes Stefanus
Surface representations using blossoms and buds. Shape Modeling International (2008)
L. Yohanes Stefanus
Shape Representations with Blossoms and Buds. GMP (2006)
L. Yohanes Stefanus, Ronald N. Goldman
On the Linear Independence of the Bivariate Discrete Convolution Blending Functions. CATS (1998)
L. Yohanes Stefanus, Ronald N. Goldman
Blossoming Marsden's identity. Comput. Aided Geom. Des. 9 (2) (1992)
Keith O. Geddes, L. Yohanes Stefanus
On the Risch-Norman Integration Method and Its Implementation in MAPLE. ISSAC (1989)