MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Records for Logic Programming." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Records for Logic Programming
by Gert Smolka, Ralf Treinen — 1994 — Journal of Logic Programming
…Records for Logic Programming Gert Smolka Ralf Treinen Deutsches Forschungszentrum fur Kunstliche…
Cited by 96 (18 self) – Add To MetaCart

Integrating Efficient Records Into Concurrent Constraint Programming
by Peter Van Roy, Michael Mehl, Ralf Scheidhauer — 1996
… in constraint logic programming (CLP) and its generalization concurrent constraint programming (CCP). Records…
Cited by 4 (1 self) – Add To MetaCart

Constraint Logic Programming: A Survey
by Joxan Jaffar, Michael J. Maher, K. Schuerman, M. Reeve, L. L. Li, How In The Elipsys — 1994
… (Eds.), MIT Press, 405--419, 1993. 235. G. Smolka & R. Treinen, Records for Logic Programming, Journal…
Cited by 644 (13 self) – Add To MetaCart

An Abstract Machine for Unification Grammars
by Shalom Wintner — 1997
…, May. Smolka, Gert and Ralf Treinen. 1994. Records for logic programming. Journal of Logic Programming…
Cited by 9 (3 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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