Matches in SemOpenAlex for { <https://semopenalex.org/work/W2811335980> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2811335980 abstract "Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation and their use in reasoning tasks ranging from the correctness of software to the properties of formal computational systems have been the focus of considerable research over the last two decades." @default.
- W2811335980 created "2018-07-10" @default.
- W2811335980 creator A5056733524 @default.
- W2811335980 creator A5061649545 @default.
- W2811335980 date "2018-07-03" @default.
- W2811335980 modified "2023-09-23" @default.
- W2811335980 title "Preface – Special Issue on Logical Frameworks and Meta-Languages 2015" @default.
- W2811335980 doi "https://doi.org/10.1017/s0960129518000233" @default.
- W2811335980 hasPublicationYear "2018" @default.
- W2811335980 type Work @default.
- W2811335980 sameAs 2811335980 @default.
- W2811335980 citedByCount "0" @default.
- W2811335980 crossrefType "journal-article" @default.
- W2811335980 hasAuthorship W2811335980A5056733524 @default.
- W2811335980 hasAuthorship W2811335980A5061649545 @default.
- W2811335980 hasBestOaLocation W28113359801 @default.
- W2811335980 hasConcept C115903868 @default.
- W2811335980 hasConcept C120665830 @default.
- W2811335980 hasConcept C121332964 @default.
- W2811335980 hasConcept C136197465 @default.
- W2811335980 hasConcept C154945302 @default.
- W2811335980 hasConcept C192209626 @default.
- W2811335980 hasConcept C199360897 @default.
- W2811335980 hasConcept C20693621 @default.
- W2811335980 hasConcept C2129575 @default.
- W2811335980 hasConcept C41008148 @default.
- W2811335980 hasConcept C55439883 @default.
- W2811335980 hasConcept C61673122 @default.
- W2811335980 hasConcept C97364631 @default.
- W2811335980 hasConceptScore W2811335980C115903868 @default.
- W2811335980 hasConceptScore W2811335980C120665830 @default.
- W2811335980 hasConceptScore W2811335980C121332964 @default.
- W2811335980 hasConceptScore W2811335980C136197465 @default.
- W2811335980 hasConceptScore W2811335980C154945302 @default.
- W2811335980 hasConceptScore W2811335980C192209626 @default.
- W2811335980 hasConceptScore W2811335980C199360897 @default.
- W2811335980 hasConceptScore W2811335980C20693621 @default.
- W2811335980 hasConceptScore W2811335980C2129575 @default.
- W2811335980 hasConceptScore W2811335980C41008148 @default.
- W2811335980 hasConceptScore W2811335980C55439883 @default.
- W2811335980 hasConceptScore W2811335980C61673122 @default.
- W2811335980 hasConceptScore W2811335980C97364631 @default.
- W2811335980 hasLocation W28113359801 @default.
- W2811335980 hasOpenAccess W2811335980 @default.
- W2811335980 hasPrimaryLocation W28113359801 @default.
- W2811335980 hasRelatedWork W1480938817 @default.
- W2811335980 hasRelatedWork W1522486842 @default.
- W2811335980 hasRelatedWork W1567793952 @default.
- W2811335980 hasRelatedWork W1985198438 @default.
- W2811335980 hasRelatedWork W2100424584 @default.
- W2811335980 hasRelatedWork W2166060139 @default.
- W2811335980 hasRelatedWork W2604335042 @default.
- W2811335980 hasRelatedWork W2736227424 @default.
- W2811335980 hasRelatedWork W2898221686 @default.
- W2811335980 hasRelatedWork W55870094 @default.
- W2811335980 isParatext "false" @default.
- W2811335980 isRetracted "false" @default.
- W2811335980 magId "2811335980" @default.
- W2811335980 workType "article" @default.