LICS 1994 - PDF Preprint Papers

LICS 1994 Symposium on Logic in Computer Science

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LICS-1994 Paper

click to vote

LICS
1994
IEEE

164views Automated Reasoning» more LICS 1994»

Higher-Order Narrowing

13 years 8 months ago

Download www4.in.tum.de

Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...

Christian Prehofer

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	164	Higher-Order Narrowing	claim
2	152	Categories, Allegories and Circuit Design	claim
3	151	A Fully Abstract Semantics for Concurrent Graph Reduction	claim
4	139	On the Parallel Complexity of Model Checking in the Modal Mu-Calculus	claim
5	131	Subtyping and Parametricity	claim
6	130	A Multiple-Conclusion Meta-Logic	claim
7	126	Foundations of Timed Concurrent Constraint Programming	claim
8	106	Logical Bilattices and Inconsistent Data	claim
9	106	Linear Logic, Totality and Full Completeness	claim
10	102	Efficient Inference of Object Types	claim
11	101	A Semantics of Object Types	claim
12	95	A General Semantics for Evaluation Logic	claim
13	90	Finitary Fairness	claim
14	87	McColm's Conjecture	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers