Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013832163> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2013832163 endingPage "152" @default.
- W2013832163 startingPage "117" @default.
- W2013832163 created "2016-06-24" @default.
- W2013832163 creator A5047866659 @default.
- W2013832163 date "2006-10-19" @default.
- W2013832163 modified "2023-10-14" @default.
- W2013832163 title "Verification of FPGA Layout Generators in Higher-Order Logic" @default.
- W2013832163 cites W1588212183 @default.
- W2013832163 cites W2027140251 @default.
- W2013832163 cites W2044829853 @default.
- W2013832163 cites W2049600101 @default.
- W2013832163 cites W2059483051 @default.
- W2013832163 cites W2059895047 @default.
- W2013832163 cites W2081391858 @default.
- W2013832163 cites W2159152974 @default.
- W2013832163 cites W2163976959 @default.
- W2013832163 cites W2166822586 @default.
- W2013832163 cites W2170053425 @default.
- W2013832163 cites W4234528212 @default.
- W2013832163 cites W4246325605 @default.
- W2013832163 cites W4250846042 @default.
- W2013832163 doi "https://doi.org/10.1007/s10817-006-9039-9" @default.
- W2013832163 hasPublicationYear "2006" @default.
- W2013832163 type Work @default.
- W2013832163 sameAs 2013832163 @default.
- W2013832163 citedByCount "9" @default.
- W2013832163 countsByYear W20138321632012 @default.
- W2013832163 countsByYear W20138321632014 @default.
- W2013832163 countsByYear W20138321632015 @default.
- W2013832163 crossrefType "journal-article" @default.
- W2013832163 hasAuthorship W2013832163A5047866659 @default.
- W2013832163 hasConcept C108710211 @default.
- W2013832163 hasConcept C113775141 @default.
- W2013832163 hasConcept C11413529 @default.
- W2013832163 hasConcept C115901376 @default.
- W2013832163 hasConcept C127413603 @default.
- W2013832163 hasConcept C159718280 @default.
- W2013832163 hasConcept C159985019 @default.
- W2013832163 hasConcept C169590947 @default.
- W2013832163 hasConcept C192562407 @default.
- W2013832163 hasConcept C199360897 @default.
- W2013832163 hasConcept C204323151 @default.
- W2013832163 hasConcept C206880738 @default.
- W2013832163 hasConcept C2524010 @default.
- W2013832163 hasConcept C33923547 @default.
- W2013832163 hasConcept C41008148 @default.
- W2013832163 hasConcept C42935608 @default.
- W2013832163 hasConcept C55439883 @default.
- W2013832163 hasConcept C78519656 @default.
- W2013832163 hasConcept C80444323 @default.
- W2013832163 hasConcept C9390403 @default.
- W2013832163 hasConceptScore W2013832163C108710211 @default.
- W2013832163 hasConceptScore W2013832163C113775141 @default.
- W2013832163 hasConceptScore W2013832163C11413529 @default.
- W2013832163 hasConceptScore W2013832163C115901376 @default.
- W2013832163 hasConceptScore W2013832163C127413603 @default.
- W2013832163 hasConceptScore W2013832163C159718280 @default.
- W2013832163 hasConceptScore W2013832163C159985019 @default.
- W2013832163 hasConceptScore W2013832163C169590947 @default.
- W2013832163 hasConceptScore W2013832163C192562407 @default.
- W2013832163 hasConceptScore W2013832163C199360897 @default.
- W2013832163 hasConceptScore W2013832163C204323151 @default.
- W2013832163 hasConceptScore W2013832163C206880738 @default.
- W2013832163 hasConceptScore W2013832163C2524010 @default.
- W2013832163 hasConceptScore W2013832163C33923547 @default.
- W2013832163 hasConceptScore W2013832163C41008148 @default.
- W2013832163 hasConceptScore W2013832163C42935608 @default.
- W2013832163 hasConceptScore W2013832163C55439883 @default.
- W2013832163 hasConceptScore W2013832163C78519656 @default.
- W2013832163 hasConceptScore W2013832163C80444323 @default.
- W2013832163 hasConceptScore W2013832163C9390403 @default.
- W2013832163 hasIssue "1-2" @default.
- W2013832163 hasLocation W20138321631 @default.
- W2013832163 hasOpenAccess W2013832163 @default.
- W2013832163 hasPrimaryLocation W20138321631 @default.
- W2013832163 hasRelatedWork W1561644379 @default.
- W2013832163 hasRelatedWork W1780472831 @default.
- W2013832163 hasRelatedWork W1875958796 @default.
- W2013832163 hasRelatedWork W1976200187 @default.
- W2013832163 hasRelatedWork W2003848320 @default.
- W2013832163 hasRelatedWork W2060759735 @default.
- W2013832163 hasRelatedWork W2201987289 @default.
- W2013832163 hasRelatedWork W4238632608 @default.
- W2013832163 hasRelatedWork W4252501555 @default.
- W2013832163 hasRelatedWork W3083050876 @default.
- W2013832163 hasVolume "37" @default.
- W2013832163 isParatext "false" @default.
- W2013832163 isRetracted "false" @default.
- W2013832163 magId "2013832163" @default.
- W2013832163 workType "article" @default.