MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic and Programming Languages." – sorted by Relevance.

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

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

3,415 documents found, showing 1 through 10. Next 10 →

ATOM

Strategies for Logic Programming Languages
by Tatjana Lutovac, James Harland
…Strategies for Logic Programming Languages Tatjana Lutovac and James Harland Department…
Add To MetaCart

Deriving Logic Programming Languages
by Michael Winikoff, James Harland — 1996
…Deriving Logic Programming Languages Michael Winikoff 1 James Harland 2 Technical Report 95…
Cited by 5 (5 self) – Add To MetaCart

Temporal and Modal Logic Programming Languages
by Manolis Gergatsoulis — 2001 — In A. Kent and J.G. Williams (Eds.), Encyclopedia of Microcomputers
…Temporal and Modal Logic Programming Languages Manolis Gergatsoulis Institute of Informatics…
Cited by 5 (1 self) – Add To MetaCart

A Visual Logic Programming Language
by Jordi Puigsegur, Jaume Agusti, Dave Robertson — 1996 — In Proc. of the 12th IEEE Symposium on Visual Languages
… of a visual logic programming language. 1. Introduction We are interested in "intuitive" forms…
Cited by 13 (11 self) – Add To MetaCart

Expressive Type Systems for Logic Programming Languages
by David Jeffery — 2002
…Expressive Type Systems for Logic Programming Languages David Jeery Submitted in total fullment…
Cited by 1 (0 self) – Add To MetaCart

Mercury, an Efficient Purely Declarative Logic Programming Language
by Z. Somogyi, F. J. Henderson, T. C. Conway — 1995 — In Proceedings of the Australian Computer Science Conference
…Mercury, an efficient purely declarative logic programming language Z. Somogyi, F.J. Henderson…
Cited by 51 (2 self) – Add To MetaCart

Implementing the Linear Logic Programming Language Lygon
by Michael Winikoff , James Harland — 1995 — INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM
…Implementing the Linear Logic Programming Language Lygon Michael Winikoff 1 James Harland 2…
Cited by 22 (8 self) – Add To MetaCart

Some Applications of the Linear Logic Programming Language Lygon
by Michael Winikoff, James Harland — 1996 — IN KOTAGIRI RAMAMOHANARAO, EDITOR, AUSTRALASIAN COMPUTER SCIENCE CONFERENCE
…Some Applications of the Linear Logic Programming Language Lygon Michael Winikoff Department…
Cited by 5 (4 self) – Add To MetaCart

Dynamic Memory Management for Sequential Logic Programming Languages
by Y. Bekkers, O. Ridoux, L. Ungaro — 1992 — Proceedings of IWMM'92: International Workshop on Memory Management, number 637 in LNCS
…Dynamic Memory Management for Sequential Logic Programming Languages Y. Bekkers, O. Ridoux and L…
Cited by 27 (0 self) – Add To MetaCart

Towards the Automation of the Design of Logic Programming Languages
by Tatjana Lutovac, James Harland — 1997 — Department of Computer Science, RMIT
…Towards the Automation of the Design of Logic Programming Languages Tatjana Lutovac James Harland…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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