MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Programming with Equations." – sorted by Relevance.

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

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

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

ATOM

Programming with Equations, Subsets, and Relations
by Bharat Jayaraman, David A. Plaisted — 1989 — Proceedings of NACLP89
…Programming with Equations, Subsets, and Relations Bharat Jayaraman Department of Computer Science…
Cited by 19 (7 self) – Add To MetaCart

Programming in Equational Logic: Beyond Strong Sequentiality
by R. C. Sekar, I.V. Ramakrishnan — 1993
…Programming in Equational Logic: Beyond Strong Sequentiality R.C. Sekar y and I.V. Ramakrishnan…
Cited by 40 (0 self) – Add To MetaCart

Programming with Equations: A Framework for Lazy Parallel Evaluation
by R. C. Sekar, I.V. Ramakrishnan — 1992 — Proceedings of the 11th International Conference on Automated Deduction
…Programming with Equations: A Framework for Lazy Parallel Evaluation R.C. Sekar y and I…
Cited by 1 (1 self) – Add To MetaCart

Oriented Equational Logic Programming is Complete
by Christopher Lynch, Inria Lorraine Et Crin — 1996 — Journal of Symbolic Computation
…J. Symbolic Computation (1996) 11, 1?? Oriented Equational Logic Programming is Complete…
Cited by 7 (0 self) – Add To MetaCart

Deductive and Inductive Synthesis of Equational Programs
by Nachum Dershowitz, Uday S. Reddy — 1992 — Journal of Symbolic Computation
…Deductive and Inductive Synthesis of Equational Programs |Draft| Nachum Dershowitz and Uday S…
Cited by 22 (2 self) – Add To MetaCart

Narrowing Approximations as an Optimization for Equational Logic Programs
by Maria Alpuente — 1993
… as an Optimization for Equational Logic Programs abstract narrower Conselleria de Cultura, Educaci'o i Ci`encia de la…
Cited by 11 (5 self) – Add To MetaCart

Risk Sensitive Control of Markov Processes in Countable State Space
by Daniel Hernández-Hernández, Steven I. Marcus
… conditions, that there exists a bounded solution to the dynamic programming equation. The dynamic programming…
Cited by 9 (4 self) – Add To MetaCart

Data Flow Equations for Explicitly Parallel Programs
by Dirk Grunwald, Dirk Grunwald, Dirk Grunwald, Harini Srinivasan, Harini Srinivasan, Harini Srinivasan — 1993 — In Proceedings of the 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
…Data Flow Equations for Explicitly Parallel Programs Dirk Grunwald and Harini Srinivasan…
Cited by 35 (3 self) – Add To MetaCart

On Extra Variables in (Equational) Logic Programming
by Michael Hanus — 1994
… logic programs with extra variables. In equational logic programming it is well known that extra…
Cited by 20 (2 self) – Add To MetaCart

Equational logic programming, actions, and change
by Gerd Große, Steffen Hölldobler, Ute Sigmund — 1992 — JOINT INTL. CONF. AND SYMP. ON LOGIC PROGRAMMING (JICSLP'92
…Equational Logic Programming, Actions, and Change Gerd Groe, Steffen Holldobler, Josef…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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