Matches in SemOpenAlex for { <https://semopenalex.org/work/W2724422213> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2724422213 abstract "In this note we exploit a combinatorial characterization of free finitely generated Nilpotent Minimum algebras, to give a constructive proof of the uniform interpolation property for Nilpotent Minimum logic. This method allows us to explicitly compute strongest uniform interpolants in Nilpotent Minimum logic." @default.
- W2724422213 created "2017-07-14" @default.
- W2724422213 creator A5056405102 @default.
- W2724422213 date "2017-05-01" @default.
- W2724422213 modified "2023-09-23" @default.
- W2724422213 title "Computing Uniform Interpolants in Nilpotent Minimum Logic" @default.
- W2724422213 cites W1510368738 @default.
- W2724422213 cites W1511669762 @default.
- W2724422213 cites W1931043128 @default.
- W2724422213 cites W1974382072 @default.
- W2724422213 cites W1983382657 @default.
- W2724422213 cites W2022150134 @default.
- W2724422213 cites W2027816834 @default.
- W2724422213 cites W2028221785 @default.
- W2724422213 cites W2042637159 @default.
- W2724422213 cites W205463328 @default.
- W2724422213 cites W2071694554 @default.
- W2724422213 cites W2071903224 @default.
- W2724422213 cites W2084294613 @default.
- W2724422213 cites W2085725211 @default.
- W2724422213 cites W2098244894 @default.
- W2724422213 cites W2135336489 @default.
- W2724422213 cites W2221366686 @default.
- W2724422213 cites W2522745996 @default.
- W2724422213 cites W2620258679 @default.
- W2724422213 cites W2962119841 @default.
- W2724422213 doi "https://doi.org/10.1109/ismvl.2017.21" @default.
- W2724422213 hasPublicationYear "2017" @default.
- W2724422213 type Work @default.
- W2724422213 sameAs 2724422213 @default.
- W2724422213 citedByCount "0" @default.
- W2724422213 crossrefType "proceedings-article" @default.
- W2724422213 hasAuthorship W2724422213A5056405102 @default.
- W2724422213 hasConcept C111472728 @default.
- W2724422213 hasConcept C115961682 @default.
- W2724422213 hasConcept C118615104 @default.
- W2724422213 hasConcept C136119220 @default.
- W2724422213 hasConcept C137800194 @default.
- W2724422213 hasConcept C138885662 @default.
- W2724422213 hasConcept C154945302 @default.
- W2724422213 hasConcept C171250308 @default.
- W2724422213 hasConcept C189950617 @default.
- W2724422213 hasConcept C192562407 @default.
- W2724422213 hasConcept C199360897 @default.
- W2724422213 hasConcept C202444582 @default.
- W2724422213 hasConcept C206219070 @default.
- W2724422213 hasConcept C2776456406 @default.
- W2724422213 hasConcept C2778701210 @default.
- W2724422213 hasConcept C2780841128 @default.
- W2724422213 hasConcept C33923547 @default.
- W2724422213 hasConcept C41008148 @default.
- W2724422213 hasConcept C50555996 @default.
- W2724422213 hasConcept C98045186 @default.
- W2724422213 hasConceptScore W2724422213C111472728 @default.
- W2724422213 hasConceptScore W2724422213C115961682 @default.
- W2724422213 hasConceptScore W2724422213C118615104 @default.
- W2724422213 hasConceptScore W2724422213C136119220 @default.
- W2724422213 hasConceptScore W2724422213C137800194 @default.
- W2724422213 hasConceptScore W2724422213C138885662 @default.
- W2724422213 hasConceptScore W2724422213C154945302 @default.
- W2724422213 hasConceptScore W2724422213C171250308 @default.
- W2724422213 hasConceptScore W2724422213C189950617 @default.
- W2724422213 hasConceptScore W2724422213C192562407 @default.
- W2724422213 hasConceptScore W2724422213C199360897 @default.
- W2724422213 hasConceptScore W2724422213C202444582 @default.
- W2724422213 hasConceptScore W2724422213C206219070 @default.
- W2724422213 hasConceptScore W2724422213C2776456406 @default.
- W2724422213 hasConceptScore W2724422213C2778701210 @default.
- W2724422213 hasConceptScore W2724422213C2780841128 @default.
- W2724422213 hasConceptScore W2724422213C33923547 @default.
- W2724422213 hasConceptScore W2724422213C41008148 @default.
- W2724422213 hasConceptScore W2724422213C50555996 @default.
- W2724422213 hasConceptScore W2724422213C98045186 @default.
- W2724422213 hasLocation W27244222131 @default.
- W2724422213 hasOpenAccess W2724422213 @default.
- W2724422213 hasPrimaryLocation W27244222131 @default.
- W2724422213 hasRelatedWork W1480202827 @default.
- W2724422213 hasRelatedWork W184056209 @default.
- W2724422213 hasRelatedWork W1966807597 @default.
- W2724422213 hasRelatedWork W2027083772 @default.
- W2724422213 hasRelatedWork W2049949447 @default.
- W2724422213 hasRelatedWork W2314380440 @default.
- W2724422213 hasRelatedWork W2556729082 @default.
- W2724422213 hasRelatedWork W2569965520 @default.
- W2724422213 hasRelatedWork W2592061543 @default.
- W2724422213 hasRelatedWork W2946919044 @default.
- W2724422213 hasRelatedWork W2953037454 @default.
- W2724422213 hasRelatedWork W2962875793 @default.
- W2724422213 hasRelatedWork W3017173995 @default.
- W2724422213 hasRelatedWork W3043592250 @default.
- W2724422213 hasRelatedWork W3083257889 @default.
- W2724422213 hasRelatedWork W3100388947 @default.
- W2724422213 hasRelatedWork W3101645260 @default.
- W2724422213 hasRelatedWork W3161039615 @default.
- W2724422213 hasRelatedWork W3171416167 @default.
- W2724422213 hasRelatedWork W844916215 @default.
- W2724422213 isParatext "false" @default.
- W2724422213 isRetracted "false" @default.
- W2724422213 magId "2724422213" @default.
- W2724422213 workType "article" @default.