Matches in SemOpenAlex for { <https://semopenalex.org/work/W2389779077> ?p ?o ?g. }
- W2389779077 abstract "Abstract This is a survey of some of the many interactions between mathematical logic and computer science. The general theme is that mathematical logic provides tools for understanding and unifying topics in computer science, while computer science provides new ways of looking at logical issues and underlines the importance of areas of logic that might otherwise have been neglected." @default.
- W2389779077 created "2016-06-24" @default.
- W2389779077 creator A5043571692 @default.
- W2389779077 date "2016-10-01" @default.
- W2389779077 modified "2023-09-27" @default.
- W2389779077 title "Symbioses between mathematical logic and computer science" @default.
- W2389779077 cites W1484653117 @default.
- W2389779077 cites W1498011912 @default.
- W2389779077 cites W1549008998 @default.
- W2389779077 cites W1557512773 @default.
- W2389779077 cites W1569165539 @default.
- W2389779077 cites W1570781677 @default.
- W2389779077 cites W1572125794 @default.
- W2389779077 cites W1960494084 @default.
- W2389779077 cites W1969682671 @default.
- W2389779077 cites W1983330347 @default.
- W2389779077 cites W1998162300 @default.
- W2389779077 cites W1998333922 @default.
- W2389779077 cites W2011039300 @default.
- W2389779077 cites W2022263458 @default.
- W2389779077 cites W2025948098 @default.
- W2389779077 cites W2036265926 @default.
- W2389779077 cites W2037682959 @default.
- W2389779077 cites W2055008899 @default.
- W2389779077 cites W2059144726 @default.
- W2389779077 cites W2064811181 @default.
- W2389779077 cites W2075350371 @default.
- W2389779077 cites W2079926883 @default.
- W2389779077 cites W2088094394 @default.
- W2389779077 cites W2116445981 @default.
- W2389779077 cites W2117313088 @default.
- W2389779077 cites W2124324342 @default.
- W2389779077 cites W2125522861 @default.
- W2389779077 cites W2126160338 @default.
- W2389779077 cites W2165467455 @default.
- W2389779077 cites W2169466088 @default.
- W2389779077 cites W2181072414 @default.
- W2389779077 cites W2592241421 @default.
- W2389779077 cites W2977904728 @default.
- W2389779077 cites W3105529609 @default.
- W2389779077 doi "https://doi.org/10.1016/j.apal.2014.04.018" @default.
- W2389779077 hasPublicationYear "2016" @default.
- W2389779077 type Work @default.
- W2389779077 sameAs 2389779077 @default.
- W2389779077 citedByCount "2" @default.
- W2389779077 countsByYear W23897790772017 @default.
- W2389779077 countsByYear W23897790772018 @default.
- W2389779077 crossrefType "journal-article" @default.
- W2389779077 hasAuthorship W2389779077A5043571692 @default.
- W2389779077 hasConcept C102993220 @default.
- W2389779077 hasConcept C111472728 @default.
- W2389779077 hasConcept C111919701 @default.
- W2389779077 hasConcept C119026595 @default.
- W2389779077 hasConcept C124047733 @default.
- W2389779077 hasConcept C127413603 @default.
- W2389779077 hasConcept C138885662 @default.
- W2389779077 hasConcept C199360897 @default.
- W2389779077 hasConcept C33566652 @default.
- W2389779077 hasConcept C41008148 @default.
- W2389779077 hasConcept C47884741 @default.
- W2389779077 hasConcept C539667460 @default.
- W2389779077 hasConcept C80444323 @default.
- W2389779077 hasConceptScore W2389779077C102993220 @default.
- W2389779077 hasConceptScore W2389779077C111472728 @default.
- W2389779077 hasConceptScore W2389779077C111919701 @default.
- W2389779077 hasConceptScore W2389779077C119026595 @default.
- W2389779077 hasConceptScore W2389779077C124047733 @default.
- W2389779077 hasConceptScore W2389779077C127413603 @default.
- W2389779077 hasConceptScore W2389779077C138885662 @default.
- W2389779077 hasConceptScore W2389779077C199360897 @default.
- W2389779077 hasConceptScore W2389779077C33566652 @default.
- W2389779077 hasConceptScore W2389779077C41008148 @default.
- W2389779077 hasConceptScore W2389779077C47884741 @default.
- W2389779077 hasConceptScore W2389779077C539667460 @default.
- W2389779077 hasConceptScore W2389779077C80444323 @default.
- W2389779077 hasLocation W23897790771 @default.
- W2389779077 hasOpenAccess W2389779077 @default.
- W2389779077 hasPrimaryLocation W23897790771 @default.
- W2389779077 hasRelatedWork W1482456031 @default.
- W2389779077 hasRelatedWork W1484853361 @default.
- W2389779077 hasRelatedWork W1549060642 @default.
- W2389779077 hasRelatedWork W1574721692 @default.
- W2389779077 hasRelatedWork W1636577564 @default.
- W2389779077 hasRelatedWork W2052989829 @default.
- W2389779077 hasRelatedWork W2073893562 @default.
- W2389779077 hasRelatedWork W2114361208 @default.
- W2389779077 hasRelatedWork W2120080914 @default.
- W2389779077 hasRelatedWork W2239392219 @default.
- W2389779077 hasRelatedWork W2482867025 @default.
- W2389779077 hasRelatedWork W2901297759 @default.
- W2389779077 hasRelatedWork W2904105286 @default.
- W2389779077 hasRelatedWork W2906979041 @default.
- W2389779077 hasRelatedWork W3091729022 @default.
- W2389779077 hasRelatedWork W3099043770 @default.
- W2389779077 hasRelatedWork W3109380342 @default.
- W2389779077 hasRelatedWork W39764777 @default.
- W2389779077 hasRelatedWork W438924551 @default.
- W2389779077 hasRelatedWork W632121608 @default.
- W2389779077 isParatext "false" @default.
- W2389779077 isRetracted "false" @default.