<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

Mathematical Logic in Computer Science

Name: Mathematical Logic in Computer Science
Creator: Kfoury, Assaf J.
Keywords: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.4.1; F.4.m; K.2, 03B70, 68Q99, K.2, F.4.1, 0102 computer and information sciences, 0101 mathematics, F.4.m, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 01 Jan 2018Embargo end date: 01 Jan 2018 United States Publisher:arXiv

Authors: Kfoury, Assaf J.;

doi: 10.48550/arxiv.1802.03292

arXiv: http://arxiv.org/abs/1802.03292

handle: 2144/48685

Mathematical Logic in Computer Science

- Summary
- Subjects
- Metrics

Abstract

The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.

Country

United States

Related Organizations

Boston College
United States

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.4.1; F.4.m; K.2, 03B70, 68Q99, K.2, F.4.1, F.4.m, Logic in Computer Science (cs.LO)

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

Green

Fields of Science (3) View all

Fields of Science