Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297415804> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4297415804 created "2022-09-28" @default.
- W4297415804 creator A5047695892 @default.
- W4297415804 creator A5064769604 @default.
- W4297415804 creator A5088320089 @default.
- W4297415804 date "2006-09-01" @default.
- W4297415804 modified "2023-09-25" @default.
- W4297415804 title "A Sequent Calculus for Type Theory" @default.
- W4297415804 hasPublicationYear "2006" @default.
- W4297415804 type Work @default.
- W4297415804 citedByCount "0" @default.
- W4297415804 crossrefType "proceedings-article" @default.
- W4297415804 hasAuthorship W4297415804A5047695892 @default.
- W4297415804 hasAuthorship W4297415804A5064769604 @default.
- W4297415804 hasAuthorship W4297415804A5088320089 @default.
- W4297415804 hasConcept C108710211 @default.
- W4297415804 hasConcept C111404639 @default.
- W4297415804 hasConcept C11413529 @default.
- W4297415804 hasConcept C18903297 @default.
- W4297415804 hasConcept C199343813 @default.
- W4297415804 hasConcept C199360897 @default.
- W4297415804 hasConcept C2318724 @default.
- W4297415804 hasConcept C2524010 @default.
- W4297415804 hasConcept C2777299769 @default.
- W4297415804 hasConcept C2777686260 @default.
- W4297415804 hasConcept C33923547 @default.
- W4297415804 hasConcept C41008148 @default.
- W4297415804 hasConcept C62073222 @default.
- W4297415804 hasConcept C6489637 @default.
- W4297415804 hasConcept C65880906 @default.
- W4297415804 hasConcept C71924100 @default.
- W4297415804 hasConcept C86803240 @default.
- W4297415804 hasConcept C89421646 @default.
- W4297415804 hasConcept C93682546 @default.
- W4297415804 hasConceptScore W4297415804C108710211 @default.
- W4297415804 hasConceptScore W4297415804C111404639 @default.
- W4297415804 hasConceptScore W4297415804C11413529 @default.
- W4297415804 hasConceptScore W4297415804C18903297 @default.
- W4297415804 hasConceptScore W4297415804C199343813 @default.
- W4297415804 hasConceptScore W4297415804C199360897 @default.
- W4297415804 hasConceptScore W4297415804C2318724 @default.
- W4297415804 hasConceptScore W4297415804C2524010 @default.
- W4297415804 hasConceptScore W4297415804C2777299769 @default.
- W4297415804 hasConceptScore W4297415804C2777686260 @default.
- W4297415804 hasConceptScore W4297415804C33923547 @default.
- W4297415804 hasConceptScore W4297415804C41008148 @default.
- W4297415804 hasConceptScore W4297415804C62073222 @default.
- W4297415804 hasConceptScore W4297415804C6489637 @default.
- W4297415804 hasConceptScore W4297415804C65880906 @default.
- W4297415804 hasConceptScore W4297415804C71924100 @default.
- W4297415804 hasConceptScore W4297415804C86803240 @default.
- W4297415804 hasConceptScore W4297415804C89421646 @default.
- W4297415804 hasConceptScore W4297415804C93682546 @default.
- W4297415804 hasLocation W42974158041 @default.
- W4297415804 hasLocation W42974158042 @default.
- W4297415804 hasOpenAccess W4297415804 @default.
- W4297415804 hasPrimaryLocation W42974158041 @default.
- W4297415804 hasRelatedWork W1562648369 @default.
- W4297415804 hasRelatedWork W2009791150 @default.
- W4297415804 hasRelatedWork W2137780954 @default.
- W4297415804 hasRelatedWork W2170954486 @default.
- W4297415804 hasRelatedWork W2351433375 @default.
- W4297415804 hasRelatedWork W2513857873 @default.
- W4297415804 hasRelatedWork W2793983771 @default.
- W4297415804 hasRelatedWork W2891688494 @default.
- W4297415804 hasRelatedWork W4297415804 @default.
- W4297415804 hasRelatedWork W2584381231 @default.
- W4297415804 isParatext "false" @default.
- W4297415804 isRetracted "false" @default.
- W4297415804 workType "article" @default.