Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146602604> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2146602604 abstract "This three-page note gives an example that appears to contradict a theorem in a TOPLAS article by Gary Peterson. Whether or not it does depends on the interpretation of the statement of the theorem, which is given only informally in English. I draw the moral that greater rigor is needed. When I sent this paper to Peterson, he strongly objected to it. I no longer have his message and don’t remember exactly what he wrote, but I think he said that he knew what the correct interpretation was and that I was unfairly suggesting that his theorem might be incorrect. So, I never published this note." @default.
- W2146602604 created "2016-06-24" @default.
- W2146602604 creator A5040623453 @default.
- W2146602604 date "1984-10-10" @default.
- W2146602604 modified "2023-09-26" @default.
- W2146602604 title "On a Theorem of Peterson" @default.
- W2146602604 cites W2040068897 @default.
- W2146602604 cites W2058618358 @default.
- W2146602604 hasPublicationYear "1984" @default.
- W2146602604 type Work @default.
- W2146602604 sameAs 2146602604 @default.
- W2146602604 citedByCount "0" @default.
- W2146602604 crossrefType "journal-article" @default.
- W2146602604 hasAuthorship W2146602604A5040623453 @default.
- W2146602604 hasConcept C111472728 @default.
- W2146602604 hasConcept C138885662 @default.
- W2146602604 hasConcept C144237770 @default.
- W2146602604 hasConcept C2777026412 @default.
- W2146602604 hasConcept C33923547 @default.
- W2146602604 hasConcept C41895202 @default.
- W2146602604 hasConcept C527412718 @default.
- W2146602604 hasConceptScore W2146602604C111472728 @default.
- W2146602604 hasConceptScore W2146602604C138885662 @default.
- W2146602604 hasConceptScore W2146602604C144237770 @default.
- W2146602604 hasConceptScore W2146602604C2777026412 @default.
- W2146602604 hasConceptScore W2146602604C33923547 @default.
- W2146602604 hasConceptScore W2146602604C41895202 @default.
- W2146602604 hasConceptScore W2146602604C527412718 @default.
- W2146602604 hasLocation W21466026041 @default.
- W2146602604 hasOpenAccess W2146602604 @default.
- W2146602604 hasPrimaryLocation W21466026041 @default.
- W2146602604 hasRelatedWork W149019593 @default.
- W2146602604 hasRelatedWork W1493460203 @default.
- W2146602604 hasRelatedWork W1511220403 @default.
- W2146602604 hasRelatedWork W1965068128 @default.
- W2146602604 hasRelatedWork W1972404814 @default.
- W2146602604 hasRelatedWork W2032048113 @default.
- W2146602604 hasRelatedWork W2047079221 @default.
- W2146602604 hasRelatedWork W2056440378 @default.
- W2146602604 hasRelatedWork W2060654785 @default.
- W2146602604 hasRelatedWork W2090060342 @default.
- W2146602604 hasRelatedWork W2108443145 @default.
- W2146602604 hasRelatedWork W2146263160 @default.
- W2146602604 hasRelatedWork W2171374502 @default.
- W2146602604 hasRelatedWork W2318740543 @default.
- W2146602604 hasRelatedWork W2324734013 @default.
- W2146602604 hasRelatedWork W2325441296 @default.
- W2146602604 hasRelatedWork W2325891024 @default.
- W2146602604 hasRelatedWork W2335120912 @default.
- W2146602604 hasRelatedWork W3130589212 @default.
- W2146602604 hasRelatedWork W776091420 @default.
- W2146602604 isParatext "false" @default.
- W2146602604 isRetracted "false" @default.
- W2146602604 magId "2146602604" @default.
- W2146602604 workType "article" @default.