Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501097277> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1501097277 abstract "The methods of this paper can be applied as well to intuitionistic proof systems like Natural Deduction. It is obvious that the application of extended reductions similar to projections will result in a loss of confluence; on the other hand, confluence is of doubtful value if the complexity of cut-elimination is the main concern." @default.
- W1501097277 created "2016-06-24" @default.
- W1501097277 creator A5035315045 @default.
- W1501097277 creator A5068161463 @default.
- W1501097277 date "1997-01-01" @default.
- W1501097277 modified "2023-09-27" @default.
- W1501097277 title "Fast cut-elimination by projection" @default.
- W1501097277 cites W1570226938 @default.
- W1501097277 cites W1990529320 @default.
- W1501097277 cites W2039977878 @default.
- W1501097277 doi "https://doi.org/10.1007/3-540-63172-0_30" @default.
- W1501097277 hasPublicationYear "1997" @default.
- W1501097277 type Work @default.
- W1501097277 sameAs 1501097277 @default.
- W1501097277 citedByCount "4" @default.
- W1501097277 crossrefType "book-chapter" @default.
- W1501097277 hasAuthorship W1501097277A5035315045 @default.
- W1501097277 hasAuthorship W1501097277A5068161463 @default.
- W1501097277 hasConcept C11413529 @default.
- W1501097277 hasConcept C119857082 @default.
- W1501097277 hasConcept C199360897 @default.
- W1501097277 hasConcept C2776291640 @default.
- W1501097277 hasConcept C41008148 @default.
- W1501097277 hasConcept C57493831 @default.
- W1501097277 hasConcept C77906462 @default.
- W1501097277 hasConceptScore W1501097277C11413529 @default.
- W1501097277 hasConceptScore W1501097277C119857082 @default.
- W1501097277 hasConceptScore W1501097277C199360897 @default.
- W1501097277 hasConceptScore W1501097277C2776291640 @default.
- W1501097277 hasConceptScore W1501097277C41008148 @default.
- W1501097277 hasConceptScore W1501097277C57493831 @default.
- W1501097277 hasConceptScore W1501097277C77906462 @default.
- W1501097277 hasLocation W15010972771 @default.
- W1501097277 hasOpenAccess W1501097277 @default.
- W1501097277 hasPrimaryLocation W15010972771 @default.
- W1501097277 hasRelatedWork W121177627 @default.
- W1501097277 hasRelatedWork W1480549483 @default.
- W1501097277 hasRelatedWork W1519014254 @default.
- W1501097277 hasRelatedWork W1524103539 @default.
- W1501097277 hasRelatedWork W1539158407 @default.
- W1501097277 hasRelatedWork W1617297050 @default.
- W1501097277 hasRelatedWork W1813686459 @default.
- W1501097277 hasRelatedWork W191813668 @default.
- W1501097277 hasRelatedWork W1963953353 @default.
- W1501097277 hasRelatedWork W2001450574 @default.
- W1501097277 hasRelatedWork W2013702670 @default.
- W1501097277 hasRelatedWork W2039977878 @default.
- W1501097277 hasRelatedWork W2040951317 @default.
- W1501097277 hasRelatedWork W2060230835 @default.
- W1501097277 hasRelatedWork W2074244740 @default.
- W1501097277 hasRelatedWork W2093850840 @default.
- W1501097277 hasRelatedWork W2130012710 @default.
- W1501097277 hasRelatedWork W2377090867 @default.
- W1501097277 hasRelatedWork W2904925137 @default.
- W1501097277 hasRelatedWork W91833220 @default.
- W1501097277 isParatext "false" @default.
- W1501097277 isRetracted "false" @default.
- W1501097277 magId "1501097277" @default.
- W1501097277 workType "book-chapter" @default.