Eureca Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:	1608	Last update:	February 18, 1992
Number of online publications:	0	Supported:	no
Most recent reference:	July 1991

Search the bibliography

Information on the Bibliography

Author:

EURECA group

Abstract:

Applications:

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:

not

Browsing the bibliography

• Original source:

  ftp://ftp.loria.fr... (Format: bibtex,tar, compressed)

Bibliographic Statistics

Types:

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)

Fields:

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:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.