Skip to main content
Journal Article

From universal logic to computer science, and back

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014) 8687
DOI: 10.1007/978-3-319-10882-7_1
2Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Computer Science has been long viewed as a consumer of mathematics in general, and of logic in particular, with few and minor contributions back. In this article we are challenging this view with the case of the relationship between specification theory and the universal trend in logic.

Cite

CITATION STYLE

APA

Diaconescu, R. (2014). From universal logic to computer science, and back. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8687. https://doi.org/10.1007/978-3-319-10882-7_1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free