Krishnaprasad Thirunarayan

Available identifiers

zbMath Open thirunarayan.krishnaprasadMaRDI QIDQ169913

List of research outcomes

Publication	Date of Publication	Type
Mechanisms for improved covariant type-checking	2007-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4417556	2003-07-29	Paper
Simulating multiple inheritance and generics in Java	2001-11-18	Paper
Structural operational semantics for a portable subset of behavioral VHDL-93	2001-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4400808	1998-12-14	Paper
On the equivalence of upward and downward inheritance reasoners	1996-10-20	Paper
On the relationship between annotated logic programs and nonmonotonic formalisms	1996-06-27	Paper
Locality in inheritance networks	1994-03-01	Paper
A theory of nonmonotonic inheritance based on annotated logic	1994-01-09	Paper

Research outcomes over time

This page was built for person: Krishnaprasad Thirunarayan