Archive for William W. Wadge 2000

Wadge index
Cartesian index
William W. Wadge.
Intensional Markup Language.
In Peter G. Kropf, Gilbert Babin, John Plaice, Herwig Unger (ed.), Distributed Communities on the Web. Lecture Notes in Computer Science. Vol. 1830. pp.82--89. 2000. Springer-Verlag.
William W. Wadge.
The Malleable Document.
In D. I. Fotiadis, S. D. Nikolopoulos (ed.), Advances in Informatics. pp.8--17. 2000. World-Scientific.
William W. Wadge.
A Hybrid Predicate Calculus.
August, 2000. Presented to the Hybrid Logics Workshop, Birmingham
William W. Wadge.
Intensional Logic in Context.
In Manolis Gergatsoulis, Panos Rondogiannis (ed.), Intensional Programming II. pp.1--13. 2000. World-Scientific.
William W. Wadge, M. C. Schraefel.
Putting the Hyper back in Hypertext.
In Manolis Gergatsoulis, Panos Rondogiannis (ed.), Intensional Programming II. pp.31--39. 2000. World-Scientific.
P. Swoboda, William W. Wadge.
Vmake and ISE: General Tools for the Intensionalization of Software Systems.
In Manolis Gergatsoulis, Panos Rondogiannis (ed.), Intensional Programming II. pp.310--319. 2000. World-Scientific.