Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.29, Iss.1-4, 2000-01, pp. : 99-138

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Coinduction functor and simple comodules

By El Kaoutit L.

ANNALI DELL'UNIVERSITA' DI FERRARA, Vol. 56, Iss. 1, 2010-05 ,pp. : 21-35

Springer Publishing Company

Access to resources Recommend Favorite

Synthesis and Use of a Phosphonate Amidine to Generate an Anti‐Phosphoarginine‐Specific Antibody

ANGEWANDTE CHEMIE, Vol. 127, Iss. 49, 2015-12 ,pp. : 14928-14931

John Wiley & Sons Inc

Access to resources Recommend Favorite

Using Rolling Circles to Generate Caustic Envelopes Resulting from Reflected Light

By Boyle Jeffrey A.

American Mathematical Monthly, Vol. 122, Iss. 5, 2015-05 ,pp. : 452-466

Mathematical Association of America

Access to resources Recommend Favorite

Structure of Chevalley groups: The proof from the book

By Vavilov N. Gavrilovich M. Nikolenko S.

Journal of Mathematical Sciences, Vol. 140, Iss. 5, 2007-02 ,pp. : 626-645

Springer Publishing Company

Access to resources Recommend Favorite

Learning to design resistance proof drugs from folding

By Broglia R. A.

The European Physical Journal D - Atomic, Molecular and Optical Physics, Vol. 51, Iss. 1, 2009-01 ,pp. : 137-151

Springer Publishing Company

Access to resources Recommend Favorite