MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Computing Logic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

111 documents found, showing 1 through 10. Next 10 →

ATOM

Functional computations in logic programs
by Saumya K. Debray, David S. Warren — 1989 — ACM Transactions on Programming Languages and Systems
…Functional Computations in Logic Programs† Saumya K. Debray Department of Computer Science…
Cited by 50 (11 self) – Add To MetaCart

Object-Oriented Computations in Logic Programming
by Andrea Omicini, Antonio Natali — 1994 — Object-Oriented Programming. LNCS 821
…194 Object-Oriented Computations in Logic Programming Andrea Omicini and Antonio Natali DEIS…
Cited by 6 (3 self) – Add To MetaCart

Gröbner Bases Computation in Strand: A Case Study for Concurrent Symbolic Computation in Logic
by In Der Studienrichtung, Kurt Siegl, Angefertigt Am, Technisch-naturwissenschaftliche Fakultat — 1990
… suited for parallel Symbolic Computation. Various programming examples show that the usage of logic…
Add To MetaCart

Grobner Bases Computation in Strand: A Case Study for Concurrent Symbolic Computation in Logic
by Diplomarbeit Zur, In Der Studienrichtung, Kurt Siegl, Angefertigt Am, Technisch-naturwissenschaftliche Fakultat
… suited for parallel Symbolic Computation. Various programming examples show that the usage of logic…
Add To MetaCart

Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic
by Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, Metin Sezgin — 1999
…Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic…
Cited by 9 (2 self) – Add To MetaCart

A Fril++ Compiler for Soft Computing Object-Oriented Logic Programming
by J.M. Rossiter, T. Cao, T.P. Martin, J.F. Baldwin
…A Fril++ Compiler for Soft Computing Object-Oriented Logic Programming J.M.Rossiter and T…
Add To MetaCart

The Logic Programming Paradigm in Numerical Computation
by M.H. van Emden — 1999
…The logic programming paradigm in numerical computation M.H. van Emden Abstract Although CLP…
Cited by 1 (1 self) – Add To MetaCart

Parameterized Logic Programs where Computing Meets Learning
by Taisuke Sato — 2001 — Proceedings of Fifth International Symposium on Functional and Logic Programming (FLOPS-01), volume 2024 of LNCS
…Parameterized Logic Programs where Computing Meets Learning Taisuke SATO Dept. of Computer…
Cited by 2 (0 self) – Add To MetaCart

Using Classes As Specifications For Automatic Construction Of Programs In The Nut System
by Enn Tyugu — 1994
… programming paradigms each of which claims to be a good platform for the future of computing: logic…
Cited by 9 (4 self) – Add To MetaCart

Using Classes As Specifications For Automatic Construction Of Programs In The Nut System
by Enn Tyugu Royal, Enn Tyugu — 1994
… programming paradigms each of which claims to be a good platform for the future of computing: logic…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB