External Links

    Journal: Meth. of Logic in CS

    Volume 1, Issue 3

    261 -- 277Arnon Avron, Yoram Hirshfeld. Queries evaluation, relative safety, and domain independence in first-order database languages with functions
    279 -- 298John N. Crossley, Gerald L. Mathai, Robert A. G. Seely. A logical calculus for polynomial-time realizability
    299 -- 314Erich Grädel. Definability on finite structures and the existence of one-way functions
    315 -- 338Marek A. Suchenek. Preservation properties in deductive databases
    339 -- 354Jianhua Chen. On the relationship between circumscription and well-founded semantics of logic programs
    355 -- 377Khaled Bsaïes, Francis Alexandre, Alain Quéré. Transformation of generate and test logic programs
    runs on