Matches in SemOpenAlex for { <https://semopenalex.org/work/W45015213> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W45015213 endingPage "150" @default.
- W45015213 startingPage "139" @default.
- W45015213 abstract "We consider the fragment of deep inference free of compression mechanisms and compare its proof complexity to other systems, utilising ‘atomic flows' to examine size of proofs. Results include a simulation of Resolution and dag-like cut-free Gentzen, as well as a separation from bounded-depth Frege." @default.
- W45015213 created "2016-06-24" @default.
- W45015213 creator A5089810498 @default.
- W45015213 date "2012-01-01" @default.
- W45015213 modified "2023-10-16" @default.
- W45015213 title "Complexity of Deep Inference via Atomic Flows" @default.
- W45015213 cites W1520950860 @default.
- W45015213 cites W1559475567 @default.
- W45015213 cites W1811725859 @default.
- W45015213 cites W1968584500 @default.
- W45015213 cites W2026967932 @default.
- W45015213 cites W2029390834 @default.
- W45015213 cites W2141654045 @default.
- W45015213 cites W2155005677 @default.
- W45015213 cites W2169713712 @default.
- W45015213 cites W2763102664 @default.
- W45015213 cites W3123028025 @default.
- W45015213 cites W45015213 @default.
- W45015213 cites W82633235 @default.
- W45015213 doi "https://doi.org/10.1007/978-3-642-30870-3_15" @default.
- W45015213 hasPublicationYear "2012" @default.
- W45015213 type Work @default.
- W45015213 sameAs 45015213 @default.
- W45015213 citedByCount "7" @default.
- W45015213 countsByYear W450152132012 @default.
- W45015213 countsByYear W450152132013 @default.
- W45015213 countsByYear W450152132014 @default.
- W45015213 countsByYear W450152132015 @default.
- W45015213 countsByYear W450152132016 @default.
- W45015213 countsByYear W450152132017 @default.
- W45015213 crossrefType "book-chapter" @default.
- W45015213 hasAuthorship W45015213A5089810498 @default.
- W45015213 hasBestOaLocation W450152132 @default.
- W45015213 hasConcept C11413529 @default.
- W45015213 hasConcept C154945302 @default.
- W45015213 hasConcept C2776214188 @default.
- W45015213 hasConcept C41008148 @default.
- W45015213 hasConceptScore W45015213C11413529 @default.
- W45015213 hasConceptScore W45015213C154945302 @default.
- W45015213 hasConceptScore W45015213C2776214188 @default.
- W45015213 hasConceptScore W45015213C41008148 @default.
- W45015213 hasLocation W450152131 @default.
- W45015213 hasLocation W450152132 @default.
- W45015213 hasOpenAccess W45015213 @default.
- W45015213 hasPrimaryLocation W450152131 @default.
- W45015213 hasRelatedWork W2333698505 @default.
- W45015213 hasRelatedWork W2351491280 @default.
- W45015213 hasRelatedWork W2367950322 @default.
- W45015213 hasRelatedWork W2371447506 @default.
- W45015213 hasRelatedWork W2386767533 @default.
- W45015213 hasRelatedWork W2911297108 @default.
- W45015213 hasRelatedWork W303980170 @default.
- W45015213 hasRelatedWork W3107474891 @default.
- W45015213 hasRelatedWork W4289528260 @default.
- W45015213 hasRelatedWork W86463150 @default.
- W45015213 isParatext "false" @default.
- W45015213 isRetracted "false" @default.
- W45015213 magId "45015213" @default.
- W45015213 workType "book-chapter" @default.