Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers.

Jose Maria Turull Torres Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers. 35-45 adbis98/P035.pdf 1998 ADBIS db/conf/adbis/adbis98.html#Torres98 conf/adbis/98 db/conf/adbis/Torres98.html http://link.springer.de/link/service/series/0558/bibs/1475/14750035.htm books/aw/AbiteboulHV95 conf/lics/AbiteboulPV94 conf/stoc/AbiteboulV91 conf/coco/AbiteboulVV92 conf/icdt/AbiteboulVV92 ... journals/jcss/ChandraH80 ... ... journals/iandc/GradelG98 ... journals/iandc/Immerman86 books/el/leeuwen90/Kanellakis90 ... ...