![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Iluju Kiringa 4 Iluju Kiringa: Specifying Event Logics for Active Databases. Description Logics 2002 3 Iluju Kiringa: Specifying Event Logics for Active Databases. KRDB 2002 2 Iluju Kiringa: Simulation of Advanced Transaction Models Using GOLOG. DBPL 2001 : 318-341 1 Iluju Kiringa: Towards a General Theory of Advanced Transaction Models in the Situation Calculus. KRDB 2001 ![]() DiSC'03 © 2003 Association for Computing Machinery |