Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144691855> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2144691855 endingPage "289" @default.
- W2144691855 startingPage "283" @default.
- W2144691855 abstract "article Free Access Share on Model verification in λΣ: a type inference approach Author: Enrique V. Kortright Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA and Department of Computer Science, Nicholls State University, Thibodaux, LA Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA and Department of Computer Science, Nicholls State University, Thibodaux, LAView Profile Authors Info & Claims ACM SIGSIM Simulation DigestVolume 21Issue 3April 1991 pp 283–289https://doi.org/10.1145/106073.306874Online:01 April 1991Publication History 1citation83DownloadsMetricsTotal Citations1Total Downloads83Last 12 Months2Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF" @default.
- W2144691855 created "2016-06-24" @default.
- W2144691855 creator A5063788137 @default.
- W2144691855 date "1991-04-01" @default.
- W2144691855 modified "2023-10-16" @default.
- W2144691855 title "Model verification in λΣ" @default.
- W2144691855 cites W2133472914 @default.
- W2144691855 cites W2166822586 @default.
- W2144691855 doi "https://doi.org/10.1145/106073.306874" @default.
- W2144691855 hasPublicationYear "1991" @default.
- W2144691855 type Work @default.
- W2144691855 sameAs 2144691855 @default.
- W2144691855 citedByCount "1" @default.
- W2144691855 crossrefType "journal-article" @default.
- W2144691855 hasAuthorship W2144691855A5063788137 @default.
- W2144691855 hasBestOaLocation W21446918551 @default.
- W2144691855 hasConcept C127413603 @default.
- W2144691855 hasConcept C161191863 @default.
- W2144691855 hasConcept C17744445 @default.
- W2144691855 hasConcept C185592680 @default.
- W2144691855 hasConcept C199360897 @default.
- W2144691855 hasConcept C199539241 @default.
- W2144691855 hasConcept C2777532764 @default.
- W2144691855 hasConcept C2778805511 @default.
- W2144691855 hasConcept C2779463800 @default.
- W2144691855 hasConcept C41008148 @default.
- W2144691855 hasConcept C42475967 @default.
- W2144691855 hasConcept C48103436 @default.
- W2144691855 hasConcept C8010536 @default.
- W2144691855 hasConceptScore W2144691855C127413603 @default.
- W2144691855 hasConceptScore W2144691855C161191863 @default.
- W2144691855 hasConceptScore W2144691855C17744445 @default.
- W2144691855 hasConceptScore W2144691855C185592680 @default.
- W2144691855 hasConceptScore W2144691855C199360897 @default.
- W2144691855 hasConceptScore W2144691855C199539241 @default.
- W2144691855 hasConceptScore W2144691855C2777532764 @default.
- W2144691855 hasConceptScore W2144691855C2778805511 @default.
- W2144691855 hasConceptScore W2144691855C2779463800 @default.
- W2144691855 hasConceptScore W2144691855C41008148 @default.
- W2144691855 hasConceptScore W2144691855C42475967 @default.
- W2144691855 hasConceptScore W2144691855C48103436 @default.
- W2144691855 hasConceptScore W2144691855C8010536 @default.
- W2144691855 hasIssue "3" @default.
- W2144691855 hasLocation W21446918551 @default.
- W2144691855 hasOpenAccess W2144691855 @default.
- W2144691855 hasPrimaryLocation W21446918551 @default.
- W2144691855 hasRelatedWork W1971919602 @default.
- W2144691855 hasRelatedWork W1977046220 @default.
- W2144691855 hasRelatedWork W1999634034 @default.
- W2144691855 hasRelatedWork W2023548456 @default.
- W2144691855 hasRelatedWork W2094431735 @default.
- W2144691855 hasRelatedWork W2235858131 @default.
- W2144691855 hasRelatedWork W4211106184 @default.
- W2144691855 hasRelatedWork W4232530187 @default.
- W2144691855 hasRelatedWork W4251853837 @default.
- W2144691855 hasRelatedWork W2122651972 @default.
- W2144691855 hasVolume "21" @default.
- W2144691855 isParatext "false" @default.
- W2144691855 isRetracted "false" @default.
- W2144691855 magId "2144691855" @default.
- W2144691855 workType "article" @default.