<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

A proof-scheme in discrete mathematics

Name: A proof-scheme in discrete mathematics
Creator: Yu. V. Matiyasevich
Keywords: Mechanization of proofs and logical operations, 03 medical and health sciences, Coloring of graphs and hypergraphs, 0302 clinical medicine, Prove Theorems of Discrete Mathematics, Graph Coloring, 0102 computer and information sciences, Deductive System, 01 natural sciences, Theorem proving (deduction, resolution, etc.)

A proof scheme in discrete mathematics

descriptionPublicationkeyboard_double_arrow_right Article 01 Sep 1977 English Publisher:Springer Science and Business Media LLCJournal:Journal of Soviet Mathematics, volume 8, pages 312-316 (issn: 0090-4104, eissn: 1573-8795,

Authors: Yu. V. Matiyasevich;

doi: 10.1007/bf01091550

A proof-scheme in discrete mathematics

- Summary
- Subjects
- Metrics

No summary information available

Keywords

Mechanization of proofs and logical operations, Coloring of graphs and hypergraphs, Prove Theorems of Discrete Mathematics, Graph Coloring, Deductive System, Theorem proving (deduction, resolution, etc.), Proof theory and constructive mathematics

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Fields of Science (4) View all

natural sciences

computer and information sciences

Fields of Science

natural sciences

computer and information sciences

View all

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!