Matches in SemOpenAlex for { <https://semopenalex.org/work/W4236481924> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4236481924 abstract "Based on our experience with the development of Alt-Ergo, we show the small number of modifications needed to bring parametric polymorphism to our SMT solver. The first one occurs in the typing module where unification is now necessary for solving ..." @default.
- W4236481924 created "2022-05-12" @default.
- W4236481924 date "2008-07-07" @default.
- W4236481924 modified "2023-09-28" @default.
- W4236481924 title "Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning" @default.
- W4236481924 doi "https://doi.org/10.1145/1512464" @default.
- W4236481924 hasPublicationYear "2008" @default.
- W4236481924 type Work @default.
- W4236481924 citedByCount "1" @default.
- W4236481924 countsByYear W42364819242014 @default.
- W4236481924 crossrefType "proceedings" @default.
- W4236481924 hasConcept C118615104 @default.
- W4236481924 hasConcept C127413603 @default.
- W4236481924 hasConcept C164155591 @default.
- W4236481924 hasConcept C168773769 @default.
- W4236481924 hasConcept C170154142 @default.
- W4236481924 hasConcept C18555067 @default.
- W4236481924 hasConcept C199360897 @default.
- W4236481924 hasConcept C2778770139 @default.
- W4236481924 hasConcept C33923547 @default.
- W4236481924 hasConcept C41008148 @default.
- W4236481924 hasConcept C54732982 @default.
- W4236481924 hasConcept C6943359 @default.
- W4236481924 hasConcept C80444323 @default.
- W4236481924 hasConcept C96146094 @default.
- W4236481924 hasConceptScore W4236481924C118615104 @default.
- W4236481924 hasConceptScore W4236481924C127413603 @default.
- W4236481924 hasConceptScore W4236481924C164155591 @default.
- W4236481924 hasConceptScore W4236481924C168773769 @default.
- W4236481924 hasConceptScore W4236481924C170154142 @default.
- W4236481924 hasConceptScore W4236481924C18555067 @default.
- W4236481924 hasConceptScore W4236481924C199360897 @default.
- W4236481924 hasConceptScore W4236481924C2778770139 @default.
- W4236481924 hasConceptScore W4236481924C33923547 @default.
- W4236481924 hasConceptScore W4236481924C41008148 @default.
- W4236481924 hasConceptScore W4236481924C54732982 @default.
- W4236481924 hasConceptScore W4236481924C6943359 @default.
- W4236481924 hasConceptScore W4236481924C80444323 @default.
- W4236481924 hasConceptScore W4236481924C96146094 @default.
- W4236481924 hasLocation W42364819241 @default.
- W4236481924 hasOpenAccess W4236481924 @default.
- W4236481924 hasPrimaryLocation W42364819241 @default.
- W4236481924 hasRelatedWork W1601158010 @default.
- W4236481924 hasRelatedWork W2048903787 @default.
- W4236481924 hasRelatedWork W2141151670 @default.
- W4236481924 hasRelatedWork W2238963713 @default.
- W4236481924 hasRelatedWork W2276124093 @default.
- W4236481924 hasRelatedWork W2370121430 @default.
- W4236481924 hasRelatedWork W254284717 @default.
- W4236481924 hasRelatedWork W2652810043 @default.
- W4236481924 hasRelatedWork W2808574002 @default.
- W4236481924 hasRelatedWork W4241145878 @default.
- W4236481924 isParatext "false" @default.
- W4236481924 isRetracted "false" @default.
- W4236481924 workType "paratext" @default.