Matches in Harvard for { ?s ?p A simple transformation from prolog-written metalevel interpreters into compilers and its implementation / Gustaf Neumann -- Free deduction / Michel Parigot -- Gentzen-type calculi for modal logic S4 with Barcan formula / Aida Pliuskeviciene -- Logical foundation for logic programming based on first order linear temporal logic / Regimantas Pliuskevicius -- Logic programming with pseudo-resolution / David M. Powers -- BRAVE: an OR-parallel dialect of prolog and its application to artificial intelligence / T.J. Reynolds, P. Kefals -- A declarative debugging environment for DATALOG / Francesco Russo, Mirko Sancassani -- A sequent calculus for a first order linear temporal logic with explicit time / Jurate Sakalauskaite -- A logical-based language for feature specification and transmission control / P. Sebillot -- Program transformations and WAM-support for the compilation of definite metaprograms / Paul Tarau -- Some considerations on the logic / Wiebe van der Hoek -- . }
Showing items 1 to 2 of
2
with 100 items per page.
- catalog description "A simple transformation from prolog-written metalevel interpreters into compilers and its implementation / Gustaf Neumann -- Free deduction / Michel Parigot -- Gentzen-type calculi for modal logic S4 with Barcan formula / Aida Pliuskeviciene -- Logical foundation for logic programming based on first order linear temporal logic / Regimantas Pliuskevicius -- Logic programming with pseudo-resolution / David M. Powers -- BRAVE: an OR-parallel dialect of prolog and its application to artificial intelligence / T.J. Reynolds, P. Kefals -- A declarative debugging environment for DATALOG / Francesco Russo, Mirko Sancassani -- A sequent calculus for a first order linear temporal logic with explicit time / Jurate Sakalauskaite -- A logical-based language for feature specification and transmission control / P. Sebillot -- Program transformations and WAM-support for the compilation of definite metaprograms / Paul Tarau -- Some considerations on the logic / Wiebe van der Hoek -- ".
- catalog tableOfContents "A simple transformation from prolog-written metalevel interpreters into compilers and its implementation / Gustaf Neumann -- Free deduction / Michel Parigot -- Gentzen-type calculi for modal logic S4 with Barcan formula / Aida Pliuskeviciene -- Logical foundation for logic programming based on first order linear temporal logic / Regimantas Pliuskevicius -- Logic programming with pseudo-resolution / David M. Powers -- BRAVE: an OR-parallel dialect of prolog and its application to artificial intelligence / T.J. Reynolds, P. Kefals -- A declarative debugging environment for DATALOG / Francesco Russo, Mirko Sancassani -- A sequent calculus for a first order linear temporal logic with explicit time / Jurate Sakalauskaite -- A logical-based language for feature specification and transmission control / P. Sebillot -- Program transformations and WAM-support for the compilation of definite metaprograms / Paul Tarau -- Some considerations on the logic / Wiebe van der Hoek -- ".