Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1991
Wieringa, R.J.
(1991)
A formalization of objects using equational dynamic logic.
In: Second International Conference on Deductive and Object-Oriented Databases, 16-18 Dec 1991, Munich, Germany.
pp. 431-452.
Lecture Notes in Computer Science 566.
Springer.
ISBN 3540550151
This list was generated on Thu May 24 07:17:24 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||