The Collection of
Computer Science Bibliographies

Eureca Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:1608Last update:August 27, 1997
Number of online publications:14Supported:no
Most recent reference:July 1991

Information on the Bibliography

EURECA group
the calculus of constructions applied to the derivation of correct programs, together with logic and automatic demonstration applied to system proof, circuit proof and program proof, the utilization of formal calculus proofs.
Proof environments:
the development, in particular, of Orme, an experimental platform for re-writing related software.
Fundamental aspects:
ordinals and recursive function hierarchies applied to termination, decision problems in real algebraic geometry and its application, termination of re-writing systems, the lambda-calculus, pi-calculus, and the theory of types, termination, equality handling, re-writing (divergence and schematizations, proof of equity of completion, higher-order re-writing), algebraic equations, program complexity, the generation of random structures, Luo software.
Mirror Node:

Browsing the bibliography

Bibliographic Statistics

techreport(512), inproceedings(432), article(357), book(80), incollection(68), phdthesis(60), misc(51), inbook(17), mastersthesis(12), proceedings(7), unpublished(7), booklet(3), manual(2)
title(1607), year(1606), author(1592), pages(641), volume(536), institution(519), booktitle(502), number(478), month(475), publisher(463), journal(358), address(330), editor(318), series(232), type(170), note(159), key(103), school(73), howpublished(19), organization(19), edition(9), chapter(6), abstract(2), notes(2), ck(1), keywords(1), publishers(1), serie(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!