MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Extending the Computing Paradigm." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

unknown title
by Affine Logic, G. Bellin — 2001
… Two paradigms of logical computation in Affine Logic? G. Bellin \Lambda October 18, 2001…
Add To MetaCart

Functions as Passive Constraints in LIFE
by Hassan Aït-Kaci, Andreas Podelski — 1994 — ACM Transactions on Programming Languages and Systems
… upon him. EDWARD T. HALL, Beyond Culture. 1 Introduction 1.1 The task LIFE extends the computational…
Cited by 11 (4 self) – Add To MetaCart

Entailment and Disentailment of Order-Sorted Feature Constraints
by Hassan Aït-Kaci, Andreas Podelski — 1993 — In Proceedings of the Fourth International Conferenceon Logic Programmingand Automated Reasoning, Andrei Voronkov
…. 1 Introduction LIFE [5] extends the computational paradigm of Logic Programming in two essential…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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