Matches in SemOpenAlex for { <https://semopenalex.org/work/W3211449318> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W3211449318 created "2021-11-22" @default.
- W3211449318 creator A5025787157 @default.
- W3211449318 date "2021-01-01" @default.
- W3211449318 modified "2023-09-27" @default.
- W3211449318 title "Verified Evaluation of Recursive Expressions in Metric First-Order Dynamic Logic" @default.
- W3211449318 doi "https://doi.org/10.3929/ethz-b-000514000" @default.
- W3211449318 hasPublicationYear "2021" @default.
- W3211449318 type Work @default.
- W3211449318 sameAs 3211449318 @default.
- W3211449318 citedByCount "0" @default.
- W3211449318 crossrefType "dissertation" @default.
- W3211449318 hasAuthorship W3211449318A5025787157 @default.
- W3211449318 hasConcept C10138342 @default.
- W3211449318 hasConcept C119599485 @default.
- W3211449318 hasConcept C127413603 @default.
- W3211449318 hasConcept C162324750 @default.
- W3211449318 hasConcept C165801399 @default.
- W3211449318 hasConcept C172385210 @default.
- W3211449318 hasConcept C176217482 @default.
- W3211449318 hasConcept C182306322 @default.
- W3211449318 hasConcept C21547014 @default.
- W3211449318 hasConcept C2777796570 @default.
- W3211449318 hasConcept C28826006 @default.
- W3211449318 hasConcept C33923547 @default.
- W3211449318 hasConcept C41008148 @default.
- W3211449318 hasConceptScore W3211449318C10138342 @default.
- W3211449318 hasConceptScore W3211449318C119599485 @default.
- W3211449318 hasConceptScore W3211449318C127413603 @default.
- W3211449318 hasConceptScore W3211449318C162324750 @default.
- W3211449318 hasConceptScore W3211449318C165801399 @default.
- W3211449318 hasConceptScore W3211449318C172385210 @default.
- W3211449318 hasConceptScore W3211449318C176217482 @default.
- W3211449318 hasConceptScore W3211449318C182306322 @default.
- W3211449318 hasConceptScore W3211449318C21547014 @default.
- W3211449318 hasConceptScore W3211449318C2777796570 @default.
- W3211449318 hasConceptScore W3211449318C28826006 @default.
- W3211449318 hasConceptScore W3211449318C33923547 @default.
- W3211449318 hasConceptScore W3211449318C41008148 @default.
- W3211449318 hasLocation W32114493181 @default.
- W3211449318 hasOpenAccess W3211449318 @default.
- W3211449318 hasPrimaryLocation W32114493181 @default.
- W3211449318 hasRelatedWork W1421638684 @default.
- W3211449318 hasRelatedWork W1492171827 @default.
- W3211449318 hasRelatedWork W1497670448 @default.
- W3211449318 hasRelatedWork W1550864955 @default.
- W3211449318 hasRelatedWork W1796872423 @default.
- W3211449318 hasRelatedWork W1982952982 @default.
- W3211449318 hasRelatedWork W2001919784 @default.
- W3211449318 hasRelatedWork W2003319485 @default.
- W3211449318 hasRelatedWork W2027056086 @default.
- W3211449318 hasRelatedWork W2039812234 @default.
- W3211449318 hasRelatedWork W2050195809 @default.
- W3211449318 hasRelatedWork W2109082753 @default.
- W3211449318 hasRelatedWork W2166459488 @default.
- W3211449318 hasRelatedWork W2366213675 @default.
- W3211449318 hasRelatedWork W2386084612 @default.
- W3211449318 hasRelatedWork W2558451007 @default.
- W3211449318 hasRelatedWork W271152470 @default.
- W3211449318 hasRelatedWork W2795506272 @default.
- W3211449318 hasRelatedWork W2938781954 @default.
- W3211449318 hasRelatedWork W49007063 @default.
- W3211449318 isParatext "false" @default.
- W3211449318 isRetracted "false" @default.
- W3211449318 magId "3211449318" @default.
- W3211449318 workType "dissertation" @default.