Publication
-
A new algorithm for 3D binary tomography In Proceedings
January 2005 -
Normal forms for characteristic functions on n-ary relations Article
Journal of Logic and Computation, 85-98.January 2005 -
A new algorithm for 3D binary tomography In Proceedings
January 2005 -
Neural networks for discrete tomography In Proceedings
January 2005 -
January 2005
-
Common knowledge in update logics In Proceedings
January 2005 -
An architecture for context-sensitive formatting In Proceedings
January 2005 -
A generator of efficient strongly typed abstract syntax trees in Java Article
Software, IEE Proceedings , 152(2), 70-79.January 2005